From 05feaa1d5dcfa4957c0a4a8dcc25bdc0bbbf5e88 Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
Date: Wed, 9 Oct 2024 14:06:44 +0200
Subject: [PATCH] Strenghten constraints on ortac internal dependencies

Future versions are expected to break these packages.
---
 packages/ortac-core/ortac-core.0.1.0/opam                   | 2 +-
 packages/ortac-core/ortac-core.0.2.0/opam                   | 2 +-
 packages/ortac-core/ortac-core.0.3.0/opam                   | 2 +-
 packages/ortac-dune/ortac-dune.0.3.0/opam                   | 2 +-
 packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam       | 4 ++--
 packages/ortac-qcheck-stm/ortac-qcheck-stm.0.2.0/opam       | 6 +++---
 .../ortac-runtime-qcheck-stm.0.2.0/opam                     | 2 +-
 7 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/packages/ortac-core/ortac-core.0.1.0/opam b/packages/ortac-core/ortac-core.0.1.0/opam
index 7c7ca8f22b8..7c1be1a295f 100644
--- a/packages/ortac-core/ortac-core.0.1.0/opam
+++ b/packages/ortac-core/ortac-core.0.1.0/opam
@@ -30,7 +30,7 @@ depends: [
   "ppxlib" {>= "0.26.0"}
   "gospel" {>= "0.2.0"}
   "alcotest" {with-test & >= "0.8.1"}
-  "ortac-runtime" {with-test}
+  "ortac-runtime" {with-test & = version}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/ortac-core/ortac-core.0.2.0/opam b/packages/ortac-core/ortac-core.0.2.0/opam
index 4574fc8e20d..b440ef3ef97 100644
--- a/packages/ortac-core/ortac-core.0.2.0/opam
+++ b/packages/ortac-core/ortac-core.0.2.0/opam
@@ -31,7 +31,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/packages/ortac-core/ortac-core.0.3.0/opam b/packages/ortac-core/ortac-core.0.3.0/opam
index 94c12ba35b2..52f3dae0179 100644
--- a/packages/ortac-core/ortac-core.0.3.0/opam
+++ b/packages/ortac-core/ortac-core.0.3.0/opam
@@ -31,7 +31,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/packages/ortac-dune/ortac-dune.0.3.0/opam b/packages/ortac-dune/ortac-dune.0.3.0/opam
index bdbfa5bf659..2ac0f023a18 100644
--- a/packages/ortac-dune/ortac-dune.0.3.0/opam
+++ b/packages/ortac-dune/ortac-dune.0.3.0/opam
@@ -12,7 +12,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/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam b/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam
index 7efb9a1a0e4..dc062f6a876 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
@@ -29,8 +29,8 @@ depends: [
   "qcheck-core" {with-test}
   "qcheck-stm" {with-test}
   "qcheck-multicoretests-util" {with-test}
-  "ortac-core"
-  "ortac-runtime" {with-test}
+  "ortac-core" {= version}
+  "ortac-runtime" {with-test & = version}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.2.0/opam b/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.2.0/opam
index 34f11bb8b8f..f91e1e79b37 100644
--- a/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.2.0/opam
+++ b/packages/ortac-qcheck-stm/ortac-qcheck-stm.0.2.0/opam
@@ -30,9 +30,9 @@ depends: [
   "qcheck-core" {with-test}
   "qcheck-stm" {with-test}
   "qcheck-multicoretests-util" {with-test}
-  "ortac-core" {>= "0.2.0"}
-  "ortac-runtime" {with-test}
-  "ortac-runtime-qcheck-stm" {with-test}
+  "ortac-core" {= version}
+  "ortac-runtime" {with-test & = version}
+  "ortac-runtime-qcheck-stm" {with-test & = version}
   "odoc" {with-doc}
 ]
 conflicts: [
diff --git a/packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.2.0/opam b/packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.2.0/opam
index 79f7b531d5b..11d3da9bb9e 100644
--- a/packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.2.0/opam
+++ b/packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.2.0/opam
@@ -17,7 +17,7 @@ depends: [
   "dune" {>= "3.8"}
   "ocaml" {>= "4.12.0"}
   "qcheck-stm"
-  "ortac-runtime" {>= "0.2.0"}
+  "ortac-runtime" {= version}
   "odoc" {with-doc}
 ]
 build: [