diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam
index 13c7d7005c..7991a6893f 100644
--- a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam
+++ b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.11/opam
@@ -22,7 +22,7 @@ depends: [
   "opam-client" {>= "2.1.0~beta2"}
   "cmdliner"
   "coq" {>= "8.11" & < "8.12~"}
-  "coq-tactician-dummy"
+  "coq-tactician-dummy" {= "1.0~beta1"}
 ]
 depexts: ["git"]
 build: [
diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam
index 75c9932b57..c3d1002dae 100644
--- a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam
+++ b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.12/opam
@@ -22,7 +22,7 @@ depends: [
   "opam-client" {>= "2.1.0~beta2"}
   "cmdliner"
   "coq" {>= "8.12" & < "8.13~"}
-  "coq-tactician-dummy"
+  "coq-tactician-dummy" {= "1.0~beta1"}
 ]
 depexts: ["git"]
 build: [
diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam
index 3b52b11d36..2781991641 100644
--- a/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam
+++ b/released/packages/coq-tactician/coq-tactician.1.0~beta1+8.13/opam
@@ -22,7 +22,7 @@ depends: [
   "opam-client" {>= "2.1.0~beta2"}
   "cmdliner"
   "coq" {>= "8.13" & < "8.14~"}
-  "coq-tactician-dummy"
+  "coq-tactician-dummy" {= "1.0~beta1"}
 ]
 depexts: ["git"]
 build: [