From c044726f6782b242d11e34151714c70c6e194e07 Mon Sep 17 00:00:00 2001
From: favonia <favonia@gmail.com>
Date: Tue, 17 May 2022 18:15:03 -0500
Subject: [PATCH] build(OPAM): relax the dependency constraints a bit

---
 algaeff.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/algaeff.opam b/algaeff.opam
index d5e7d04..44fe6b3 100644
--- 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}
 ]