diff --git a/dune b/dune
index 4abbf8da979d..7be5f6949908 100644
--- 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