Fix Travis: install cq-bignums.

coq-community · Oct 27, 2017 · a8ecc21 · a8ecc21
1 parent cb8fc64
commit a8ecc21
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -10,4 +10,6 @@ install:
   - sudo apt-get update && sudo apt-get install -y opam
   - opam init -y && eval $(opam config env) && opam config var root
   - travis_wait opam install -y coq
+  - opam repo add coq-released http://coq.inria.fr/opam/released
+  - opam install -y coq-bignums
 script: make