From 7bf884b7c525092db74ac2effcf1091bd3c3d46c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 14 Sep 2020 18:23:55 +0200
Subject: [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
---
 coq.opam.docker | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coq.opam.docker')

diff --git a/coq.opam.docker b/coq.opam.docker
index ac1869f344..09065fdffd 100644
--- a/coq.opam.docker
+++ b/coq.opam.docker
@@ -24,7 +24,7 @@ depends: [
   "ocaml"     { >= "4.05.0" }
   "ocamlfind" { build }
   "num"
-  "zarith"    { >= "1.9.1" }
+  "zarith"    { >= "1.10" }
   "conf-findutils" {build}
 ]
 
-- 
cgit v1.2.3