diff --git a/.travis.yml b/.travis.yml
index c2bc1300..5b79fc7c 100644
--- 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