Skip to content

Commit

Permalink
Strenghten constraints on ortac internal dependencies
Browse files Browse the repository at this point in the history
Future versions are expected to break these packages.
  • Loading branch information
n-osborne committed Oct 9, 2024
1 parent 3039e8a commit 05feaa1
Show file tree
Hide file tree
Showing 7 changed files with 10 additions and 10 deletions.
2 changes: 1 addition & 1 deletion packages/ortac-core/ortac-core.0.1.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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}
Expand Down
2 changes: 1 addition & 1 deletion packages/ortac-core/ortac-core.0.2.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
Expand Down
2 changes: 1 addition & 1 deletion packages/ortac-core/ortac-core.0.3.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
Expand Down
2 changes: 1 addition & 1 deletion packages/ortac-dune/ortac-dune.0.3.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
Expand Down
4 changes: 2 additions & 2 deletions packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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}
Expand Down
6 changes: 3 additions & 3 deletions packages/ortac-qcheck-stm/ortac-qcheck-stm.0.2.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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: [
Expand Down

0 comments on commit 05feaa1

Please sign in to comment.