Merge pull request #2778 from LasseBlaauwbroek/add-tactician-dummy-ve…

…rsion-constraint Add version constraints for coq-tactician-dummy to coq-tactician
coq · Oct 19, 2023 · ad60966 · ad60966
2 parents a20e1ca + 173ade2
commit ad60966
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: [