[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, 0 insertions, 1 deletions

diff --git a/coq.opam b/coq.opam
index 342adee1f4..77fdf14834 100644
--- a/coq.opam
+++ b/coq.opam
@@ -24,7 +24,6 @@ depends: [
   "ocaml"     { >= "4.05.0" }
   "dune"      { >= "2.5.0"  }
   "ocamlfind" { build }
-  "num"
   "zarith"    { >= "1.10" }
 ]