From c0e9639238b57795c6481dbdc3f90c31467b35ed Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
Date: Wed, 9 Oct 2024 09:55:22 +0200
Subject: [PATCH] Add missing upper bounds on ortac packages

---
 dune-project                | 12 ++++++------
 ortac-core.opam             |  2 +-
 ortac-dune.opam             |  2 +-
 ortac-monolith.opam         |  2 +-
 ortac-runtime-monolith.opam |  2 +-
 ortac-wrapper.opam          |  4 ++--
 6 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/dune-project b/dune-project
index 88cd2305..23868764 100644
--- a/dune-project
+++ b/dune-project
@@ -38,7 +38,7 @@
   (ppxlib (>= 0.26.0))
   (gospel (= 0.3.0))
   (alcotest (and :with-test (>= 0.8.1)))
-  (ortac-runtime :with-test))
+  (ortac-runtime (and :with-test (= :version))))
  (sites
   (lib plugins))
  (conflicts
@@ -82,8 +82,8 @@
   (ppxlib (>= 0.26.0))
   (gospel (= 0.3.0))
   (alcotest (and :with-test (>= 0.8.1)))
-  ortac-core
-  (ortac-runtime :with-test)))
+  (ortac-core (= :version))
+  (ortac-runtime (and :with-test (= :version)))))
 
 ; Monolith plugin
 (package
@@ -108,7 +108,7 @@
   (gospel (= 0.3.0))
   (monolith (and :with-test (>= 20201026)))
   (pprint :with-test)
-  ortac-core
+  (ortac-core (= :version))
   ortac-wrapper
   (ortac-runtime-monolith :with-test)))
 
@@ -129,7 +129,7 @@
   (monolith (>= 20201026))
   pprint
   (fmt (>= 0.9.0))
-  ortac-runtime))
+  (ortac-runtime (= :version))))
 
 ; QCheck-STM plugin
 (package
@@ -175,7 +175,7 @@
   fmt
   (cmdliner (>= 1.1.0))
   (ortac-core (= :version))
-  (ortac-qcheck-stm :with-test)))
+  (ortac-qcheck-stm (and :with-test (= :version)))))
 
 (package
  (name ortac-runtime-qcheck-stm)
diff --git a/ortac-core.opam b/ortac-core.opam
index 38f55e5c..5fae4bf9 100644
--- a/ortac-core.opam
+++ b/ortac-core.opam
@@ -33,7 +33,7 @@ depends: [
   "ppxlib" {>= "0.26.0"}
   "gospel" {= "0.3.0"}
   "alcotest" {with-test & >= "0.8.1"}
-  "ortac-runtime" {with-test}
+  "ortac-runtime" {with-test & = version}
   "odoc" {with-doc}
 ]
 conflicts: [
diff --git a/ortac-dune.opam b/ortac-dune.opam
index d9ee317d..9996d36d 100644
--- a/ortac-dune.opam
+++ b/ortac-dune.opam
@@ -14,7 +14,7 @@ depends: [
   "fmt"
   "cmdliner" {>= "1.1.0"}
   "ortac-core" {= version}
-  "ortac-qcheck-stm" {with-test}
+  "ortac-qcheck-stm" {with-test & = version}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/ortac-monolith.opam b/ortac-monolith.opam
index aff352e2..705319f2 100644
--- a/ortac-monolith.opam
+++ b/ortac-monolith.opam
@@ -26,7 +26,7 @@ depends: [
   "gospel" {= "0.3.0"}
   "monolith" {with-test & >= "20201026"}
   "pprint" {with-test}
-  "ortac-core"
+  "ortac-core" {= version}
   "ortac-wrapper"
   "ortac-runtime-monolith" {with-test}
   "odoc" {with-doc}
diff --git a/ortac-runtime-monolith.opam b/ortac-runtime-monolith.opam
index e85a5020..b7d807c1 100644
--- a/ortac-runtime-monolith.opam
+++ b/ortac-runtime-monolith.opam
@@ -21,7 +21,7 @@ depends: [
   "monolith" {>= "20201026"}
   "pprint"
   "fmt" {>= "0.9.0"}
-  "ortac-runtime"
+  "ortac-runtime" {= version}
   "odoc" {with-doc}
 ]
 build: [
diff --git a/ortac-wrapper.opam b/ortac-wrapper.opam
index 2316804b..bc5d07c4 100644
--- a/ortac-wrapper.opam
+++ b/ortac-wrapper.opam
@@ -26,8 +26,8 @@ depends: [
   "ppxlib" {>= "0.26.0"}
   "gospel" {= "0.3.0"}
   "alcotest" {with-test & >= "0.8.1"}
-  "ortac-core"
-  "ortac-runtime" {with-test}
+  "ortac-core" {= version}
+  "ortac-runtime" {with-test & = version}
   "odoc" {with-doc}
 ]
 build: [