From bade05301e8a7c906e57974b703ac366eb6d65f2 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 7 Dec 2024 10:23:57 +0100
Subject: [PATCH] Fix opam --with-test

That I accidentally broke in https://github.com/coq/coq/pull/19530

See https://github.com/coq/opam/pull/3240
---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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