Fix compcert opam reference in travis

PrincetonUniversity · May 6, 2020 · 2e748c1 · 2e748c1
1 parent 805b10e
commit 2e748c1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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`