Restrict Gospel version

Next Gospel release is expected to include breaking changes.

dune-project

@@ -36,7 +36,7 @@
   (cmdliner (>= 1.1.0))
   fmt
   (ppxlib (>= 0.26.0))
-  (gospel (>= 0.3.0))
+  (gospel (= 0.3.0))
   (alcotest (and :with-test (>= 0.8.1)))
   (ortac-runtime :with-test))
  (sites
@@ -80,7 +80,7 @@
   (cmdliner (>= 1.1.0))
   fmt
   (ppxlib (>= 0.26.0))
-  (gospel (>= 0.3.0))
+  (gospel (= 0.3.0))
   (alcotest (and :with-test (>= 0.8.1)))
   ortac-core
   (ortac-runtime :with-test)))
@@ -105,7 +105,7 @@
   (cmdliner (>= 1.1.0))
   fmt
   (ppxlib (>= 0.26.0))
-  (gospel (>= 0.3.0))
+  (gospel (= 0.3.0))
   (monolith (and :with-test (>= 20201026)))
   (pprint :with-test)
   ortac-core
@@ -156,7 +156,7 @@
   fmt
   (ppxlib (>= 0.26.0))
   (mdx (and :with-test (>= 2.3.0)))
-  (gospel (>= 0.3.0))
+  (gospel (= 0.3.0))
   (qcheck-core :with-test)
   (qcheck-stm :with-test)
   (qcheck-multicoretests-util :with-test)

ortac-core.opam

@@ -31,7 +31,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}
   "odoc" {with-doc}

ortac-monolith.opam

@@ -23,7 +23,7 @@ depends: [
   "cmdliner" {>= "1.1.0"}
   "fmt"
   "ppxlib" {>= "0.26.0"}
-  "gospel" {>= "0.3.0"}
+  "gospel" {= "0.3.0"}
   "monolith" {with-test & >= "20201026"}
   "pprint" {with-test}
   "ortac-core"

ortac-qcheck-stm.opam

@@ -29,7 +29,7 @@ depends: [
   "fmt"
   "ppxlib" {>= "0.26.0"}
   "mdx" {with-test & >= "2.3.0"}
-  "gospel" {>= "0.3.0"}
+  "gospel" {= "0.3.0"}
   "qcheck-core" {with-test}
   "qcheck-stm" {with-test}
   "qcheck-multicoretests-util" {with-test}

ortac-wrapper.opam

@@ -24,7 +24,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-core"
   "ortac-runtime" {with-test}