update install_manual

DarkaMaul · Nov 8, 2019 · 401685d · 401685d
1 parent 55a348a
commit 401685d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/install_manual.md b/doc/install_manual.md
@@ -4,6 +4,7 @@
 * ocaml >= 4.03 / check that type value = long in the include header caml/mlvalues.h (compiled with -fPIC for amd-64)
 * cppo
 * ocamlfind
+* num (for ocaml >= 4.06)
 * zarith library >=1.4
 * python 2.7
 * pytest for tests