opam: conflict with old gmp releases

mirage · Mar 6, 2024 · 9c50fc7 · 9c50fc7
1 parent f8b8863
commit 9c50fc7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/zarith.opam b/zarith.opam
@@ -18,6 +18,7 @@ depends: [
   "dune" {>= "2.8"}
   ("gmp" | "conf-gmp" )
 ]
+conflicts: [ "gmp" {< "6.2.1-5"} ]
 synopsis:
   "Implements arithmetic and logical operations over arbitrary-precision integers"
 description: """