opam 8.12

thery · Aug 26, 2020 · 043ee4a · 043ee4a
1 parent dbcf00e
commit 043ee4a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -20,7 +20,7 @@ env:
   - NJOBS=3
   - COMPILER="4.05.0"
   matrix:
-  - COQ_VER="8.11.0" REPO_NAME="coq-released"  REPO_URL="http://coq.inria.fr/opam/released"
+  - COQ_VER="8.12.0" REPO_NAME="coq-released"  REPO_URL="http://coq.inria.fr/opam/released"
   - COQ_VER="dev"   REPO_NAME="coq-extra-dev" REPO_URL="https://coq.inria.fr/opam/extra-dev"
 
 install:

diff --git a/opam b/opam
@@ -18,5 +18,5 @@ remove: [
   [make "uninstall"]
 ]
 depends: [
-  "coq" {>= "8.11"}
+  "coq" {>= "8.12"}
 ]