From 49691385a284bc26db43c8ebf8bdca24897bfbe4 Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
Date: Wed, 9 Oct 2024 14:08:12 +0200
Subject: [PATCH] Add upper bound on Gospel dependency

Next release is expected to include breaking changes
---
 packages/ortac-core/ortac-core.0.1.0/opam             | 2 +-
 packages/ortac-core/ortac-core.0.2.0/opam             | 2 +-
 packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/packages/ortac-core/ortac-core.0.1.0/opam b/packages/ortac-core/ortac-core.0.1.0/opam
index 7c1be1a295f..ed78bbdb3d2 100644
--- 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
index b440ef3ef97..4401cd4f628 100644
--- 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
index dc062f6a876..a289ed0342f 100644
--- 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}