monalg for finmap v1.1 (#20)

math-comp · Aug 31, 2018 · 1123184 · 1123184
1 parent 9e0ed07
commit 1123184
Show file tree

Hide file tree

Showing 4 changed files with 138 additions and 177 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -13,16 +13,13 @@ env:
   - COMPILER="system"
   # Main test targets
   matrix:
-  - COQ="8.6.1" MATHCOMP="1.6.1"
   - COQ="8.6.1" MATHCOMP="1.7.0"
   - COQ="8.7.2" MATHCOMP="1.7.0"
   - COQ="8.8.1" MATHCOMP="1.7.0"
   - COQ="8.8.1" MATHCOMP="dev"
   - COQ="dev" MATHCOMP="1.7.0"
   - COQ="dev" MATHCOMP="dev"
 matrix:
-  allow_failures:
-  - env: COQ="8.6.1" MATHCOMP="1.6.1"
   fast_finish: true
 install:
 - sudo add-apt-repository --yes ppa:avsm/ppa

diff --git a/opam b/opam
@@ -19,7 +19,7 @@ depends: [
   "coq-mathcomp-ssreflect" { (>= "1.6" | = "dev") }
   "coq-mathcomp-algebra"   { (>= "1.6" | = "dev") }
   "coq-mathcomp-bigenough" {>= "1.0.0" & < "1.1.0~"}
-  "coq-mathcomp-finmap"    {>= "1.0.0" & < "1.1.0~"}
+  "coq-mathcomp-finmap"    {>= "1.1.0" & < "1.2.0~"}
 ]
 tags: [
   "keyword:multinomials"