[zarith] [micromega] Bump to 1.10 and remove some hacks

In particular, behavior of `Z.gcd` and `Z.lcm` has been fixed in
1.10, see

https://github.com/ocaml/Zarith/issues/58

1 files changed, 1 insertions, 1 deletions

diff --git a/coq.opam b/coq.opam
index f44223052d..342adee1f4 100644
--- a/coq.opam
+++ b/coq.opam
@@ -25,7 +25,7 @@ depends: [
   "dune"      { >= "2.5.0"  }
   "ocamlfind" { build }
   "num"
-  "zarith"    { >= "1.9.1" }
+  "zarith"    { >= "1.10" }
 ]
 
 build: [