Fixup 8.10-8.16 coq-tactician packages with coq-tactician-dummy versi…

…on split
coq · Oct 22, 2022 · b8dc354 · b8dc354
1 parent 13fd839
commit b8dc354
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.10.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.10.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.10" & < "8.11~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.11.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.11.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.11" & < "8.12~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.12.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.12.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.12" & < "8.13~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.13.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.13.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.13" & < "8.14~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.14.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.14.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.14" & < "8.15~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.15.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.15.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.15" & < "8.16~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/extra-dev/packages/coq-tactician/coq-tactician.8.16.dev/opam b/extra-dev/packages/coq-tactician/coq-tactician.8.16.dev/opam
@@ -23,7 +23,7 @@ depends: [
   "coq" {>= "8.16" & < "8.17~"}
   "conf-git"
   "bos" {>= "0.2.1"}
-  "coq-tactician-dummy" {= "dev" & with-test}
+  "coq-tactician-dummy" {= "8.6.dev" & with-test}
   "odoc" {with-doc}
 ]
 build: [