Add version constraints for coq-tactician-dummy to coq-tactician

coq · Oct 18, 2023 · 173ade2 · 173ade2
1 parent 69b34cd
commit 173ade2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
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
@@ -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
@@ -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
@@ -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: [