Fix opam --with-test

proux01 · proux01 · commit d8ab5590a8cb · 2024-12-07T10:23:57.000+01:00
That I accidentally broke in rocq-prover#19530 See rocq-prover/opam#3240
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
