fix zarith ver

gborough · Apr 26, 2024 · 293dbe0 · 293dbe0
1 parent cbf2516
commit 293dbe0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/safemoney.opam b/safemoney.opam
@@ -12,7 +12,7 @@ depends: [
   "ocaml" {>= "4.14.0"}
   "base"
   "dune" {>= "3.0"}
-  "zarith"
+  "zarith" {>= "1.5.0"}
   "stdint"
   "angstrom"
   "re2"