[build] Don't link `num` anymore in Coq

After #8743 we don't depend on `num` anymore in the codebase; thus we
drop the dependency.

This could create problems for plugins relying on this implicit
linking.

1 files changed, 4 insertions, 7 deletions

diff --git a/INSTALL.md b/INSTALL.md
index adc0f557ac..c0ae5e5677 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -15,9 +15,6 @@ To compile Coq yourself, you need:
 - [OCaml](https://ocaml.org/) (version >= 4.05.0)
   (This version of Coq has been tested up to OCaml 4.11.1)
 
-- 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.10
 
 - The [findlib](http://projects.camlcity.org/projects/findlib.html) library (version >= 1.8.0)
@@ -41,9 +38,9 @@ are checked at configure time, preventing compilation. In the,
 unlikely, event an incompatibility remains undetected, using Floats
 would enable to prove False on this architecture.
 
-Note that `num` and `lablgtk3-sourceview3` should be properly
-registered with `findlib/ocamlfind` as Coq's makefile will use it to
-locate the libraries during the build.
+Note that OCaml dependencies (`zarith` and `lablgtk3-sourceview3` at
+this moment) must be properly registered with `findlib/ocamlfind`
+since Coq's build system uses `findlib` to locate them.
 
 Debian / Ubuntu users can get the necessary system packages for
 CoqIDE with:
@@ -55,7 +52,7 @@ the corresponding packages.
 
     $ opam switch create coq 4.11.1+flambda
     $ eval $(opam env)
-    $ opam install num ocamlfind lablgtk3-sourceview3
+    $ opam install ocamlfind zarith lablgtk3-sourceview3
 
 should get you a reasonable OCaml environment to compile Coq. See the
 OPAM documentation for more help.