diff options
| author | Emilio Jesus Gallego Arias | 2020-09-10 21:58:31 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-09-17 15:27:48 +0200 |
| commit | 2eb778033fe37fa26adaf41d48fc630ef66c9d1d (patch) | |
| tree | e28252dc8d989e9e5c43b87e2e37044372a35661 /coq.opam.docker | |
| parent | 14f0e5059e7f49cabbcd1571d7f053db7d7d3f35 (diff) | |
[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.
Diffstat (limited to 'coq.opam.docker')
| -rw-r--r-- | coq.opam.docker | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coq.opam.docker b/coq.opam.docker index 09065fdffd..74ca68ac0b 100644 --- a/coq.opam.docker +++ b/coq.opam.docker @@ -23,7 +23,6 @@ version: "dev" depends: [ "ocaml" { >= "4.05.0" } "ocamlfind" { build } - "num" "zarith" { >= "1.10" } "conf-findutils" {build} ] |