Add upper bound on Gospel dependency

Next release is expected to include breaking changes
ocaml · Oct 9, 2024 · 4969138 · 4969138
1 parent 05feaa1
commit 4969138
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/packages/ortac-core/ortac-core.0.1.0/opam b/packages/ortac-core/ortac-core.0.1.0/opam
@@ -28,7 +28,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "fmt"
   "ppxlib" {>= "0.26.0"}
-  "gospel" {>= "0.2.0"}
+  "gospel" {= "0.2.0"}
   "alcotest" {with-test & >= "0.8.1"}
   "ortac-runtime" {with-test & = version}
 ]

diff --git a/packages/ortac-core/ortac-core.0.2.0/opam b/packages/ortac-core/ortac-core.0.2.0/opam
@@ -29,7 +29,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "fmt"
   "ppxlib" {>= "0.26.0"}
-  "gospel" {>= "0.3.0"}
+  "gospel" {= "0.3.0"}
   "alcotest" {with-test & >= "0.8.1"}
   "ortac-runtime" {with-test & = version}
   "odoc" {with-doc}

diff --git a/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam b/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam
@@ -25,7 +25,7 @@ depends: [
   "fmt"
   "ppxlib" {>= "0.26.0"}
   "mdx" {with-test}
-  "gospel" {>= "0.2.0"}
+  "gospel" {= "0.2.0"}
   "qcheck-core" {with-test}
   "qcheck-stm" {with-test}
   "qcheck-multicoretests-util" {with-test}