Merge pull request #469 from emillon/lower-bounds

opam: fix lower bounds
tarides · May 3, 2023 · 17e1cae · 17e1cae
2 parents 939b905 + dc35ac4
commit 17e1cae
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -36,10 +36,11 @@ with [Dune](https://github.com/ocaml/dune) and hosted on
   (opam-format (>= 2.1.0))
   (opam-state (>= 2.1.0))
   (opam-core (>= 2.1.0))
-  rresult
+  (rresult (>= 0.6.0))
   logs
   odoc
   (alcotest :with-test)
   (yojson (>= 1.6)))
  (conflicts
-   (result (< 1.5))))
+   (result (< 1.5))
+   (dune (= 2.7.0))))
diff --git a/dune-release.opam b/dune-release.opam
@@ -31,14 +31,15 @@ depends: [
   "opam-format" {>= "2.1.0"}
   "opam-state" {>= "2.1.0"}
   "opam-core" {>= "2.1.0"}
-  "rresult"
+  "rresult" {>= "0.6.0"}
   "logs"
   "odoc"
   "alcotest" {with-test}
   "yojson" {>= "1.6"}
 ]
 conflicts: [
   "result" {< "1.5"}
+  "dune" {= "2.7.0"}
 ]
 build: [
   ["dune" "subst"] {dev}