diff options
| author | Emilio Jesus Gallego Arias | 2020-09-14 18:23:55 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-15 15:57:43 +0200 |
| commit | 7bf884b7c525092db74ac2effcf1091bd3c3d46c (patch) | |
| tree | 289cf3c6e36ecef69f0174762329a9c311856a39 /INSTALL.md | |
| parent | 6b379b22f445c970237d815cbbbf9dfa33e055d2 (diff) | |
[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
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 05a92ca005..adc0f557ac 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -18,7 +18,7 @@ To compile Coq yourself, you need: - The [num](https://github.com/ocaml/num) library; note that it is included in the OCaml distribution for OCaml versions < 4.06.0 -- The [ZArith library](https://github.com/ocaml/Zarith) >= 1.8 +- The [ZArith library](https://github.com/ocaml/Zarith) >= 1.10 - The [findlib](http://projects.camlcity.org/projects/findlib.html) library (version >= 1.8.0) |