Avoid beta2 release of Tactician due to critical bug

coq · Oct 20, 2023 · 67eeea2 · 67eeea2
1 parent 2ed9f46
commit 67eeea2
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 0 deletions.
diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.12/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.12/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "2.8"}

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.13/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.13/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "2.8"}

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.14/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.14/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "2.8"}

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.15/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.15/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "2.8"}

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.16/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.16/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "2.8"}

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.17/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.17/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "3.5" & < "3.8~"}

diff --git a/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.18/opam b/released/packages/coq-tactician/coq-tactician.1.0~beta2+8.18/opam
@@ -15,6 +15,7 @@ authors: ["Lasse Blaauwbroek <[email protected]>"]
 license: "MIT"
 homepage: "https://coq-tactician.github.io"
 bug-reports: "https://github.com/coq-tactician/coq-tactician/issues"
+flags: [ avoid-version ]
 depends: [
   "ocaml" {>= "4.08"}
   "dune" {>= "3.5" & < "3.8~"}