Fix opam --with-test

That I accidentally broke in #19530 See coq/opam#3240
coq · Dec 7, 2024 · d8ab559 · d8ab559
1 parent 476460f
commit d8ab559
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune b/dune
@@ -80,7 +80,7 @@
 ; Use summary.log as the target
 (alias
  (name runtest)
- (package rocq-core)
+ (package coq)
  (deps test-suite/summary.log))
 
 ; For make compat