Merge pull request #1409 from mikeshulman/zarith

mention in INSTALL that you need to install zarith from opam
HoTT · Jan 14, 2021 · cd794c2 · cd794c2
2 parents da01833 + 9abadca
commit cd794c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -49,7 +49,7 @@ You may also need to run
 to continue working in the same terminal.  Then you can install the
 required dependencies:
 
-    opam install ocaml camlp5 lablgtk3 lablgtk3-sourceview3 ocamlfind num
+    opam install ocaml camlp5 lablgtk3 lablgtk3-sourceview3 ocamlfind num zarith
 
 [1]:https://opam.ocaml.org/doc/Install.html