build(OPAM): relax the dependency constraints a bit

RedPRL · May 17, 2022 · c044726 · c044726
1 parent deb35ab
commit c044726
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/algaeff.opam b/algaeff.opam
@@ -13,7 +13,7 @@ dev-repo: "git+https://github.com/RedPRL/algaeff.git"
 depends: [
   "dune" {>= "2.0"}
   "base-domains"
-  "alcotest" {>= "1.5.0" & with-test}
+  "alcotest" {>= "1.5" & with-test}
   "qcheck-core" {>= "0.18" & with-test}
   "odoc" {with-doc}
 ]