From 6ec7aa00676f949a745012c4fe34df6793d2d4be Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 5 Feb 2024 07:35:27 +0000
Subject: [PATCH] [opam] bump minimal zarith version to 1.9
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index a0032544490..5089492c9c3 100644
--- a/opam
+++ b/opam
@@ -135,7 +135,7 @@ depends: [
"why3" { >= "1.6.0" & ( < "1.7.0" | !with-test ) }
"yaml" { >= "3.0.0" }
"yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}
- "zarith" { >= "1.5" }
+ "zarith" { >= "1.9" }
# PPXs
"ppx_deriving"
--
GitLab