diff --git a/.travis.yml b/.travis.yml
index 7d5b67c93..c39824dcf 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -35,7 +35,7 @@ env:
 #  - COMPILER="default"
   - COQ_VERSION="8.11.0"
   - NEXT_VERSION="8.11.0"
-  - COMPCERT_VERSION="coq-compcert.3.7~coq-platform~open-source"
+  - COMPCERT_VERSION="3.7~coq-platform~open-source"
 
 branches:
   only:
@@ -70,7 +70,7 @@ install:
 - opam show coq-compcert
 - travis_wait 15 opam install -j ${NJOBS} -y coq=${COQ_VERSION} ${EXTRA_OPAM}
 - opam install -j ${NJOBS} -y coq=${COQ_VERSION} coq-ext-lib coq-flocq
-- travis_wait 30 opam install -j ${NJOBS} -y coq-COMPCERT=${COMPCERT_VERSION}
+- travis_wait 30 opam install -j ${NJOBS} -y coq-compcert=${COMPCERT_VERSION}
 - opam list
 - file `which coqc`