Add missing upper bounds on ortac packages

ocaml-gospel · Oct 9, 2024 · c0e9639 · c0e9639
1 parent a8dfa0c
commit c0e9639
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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: [