From 2eb778033fe37fa26adaf41d48fc630ef66c9d1d Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 10 Sep 2020 21:58:31 +0200
Subject: [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.
---
 coq.opam | 1 -
 1 file changed, 1 deletion(-)

(limited to 'coq.opam')

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" }
 ]
 
-- 
cgit v1.2.3