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.
---
 dev/ci/docker/bionic_coq/Dockerfile | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/docker/bionic_coq/Dockerfile b/dev/ci/docker/bionic_coq/Dockerfile
index 2fcd69e130..f672ead807 100644
--- a/dev/ci/docker/bionic_coq/Dockerfile
+++ b/dev/ci/docker/bionic_coq/Dockerfile
@@ -1,4 +1,4 @@
-# CACHEKEY: "bionic_coq-V2020-09-16-V38"
+# CACHEKEY: "bionic_coq-V2020-09-17-V88"
 # ^^ Update when modifying this file.
 
 FROM ubuntu:bionic
@@ -40,10 +40,8 @@ ENV NJOBS="2" \
 # Base opam is the set of base packages required by Coq
 ENV COMPILER="4.05.0"
 
-# Common OPAM packages, num to be removed once the migration to
-# micromega is complete, `num` also does not have a version number as
-# the right version to install varies with the compiler version.
-ENV BASE_OPAM="num zarith.1.10 ocamlfind.1.8.1 ounit2.2.2.3 odoc.1.5.1" \
+# Common OPAM packages
+ENV BASE_OPAM="zarith.1.10 ocamlfind.1.8.1 ounit2.2.2.3 odoc.1.5.1" \
     CI_OPAM="menhir.20190626 ocamlgraph.1.8.8" \
     BASE_ONLY_OPAM="elpi.1.11.0"
 
-- 
cgit v1.2.3