add docker images for mathcomp 1.11.0, remove order.v that is now in …

…mathcomp 1.11.0+beta1
math-comp · Apr 19, 2020 · 08c1629 · 08c1629
1 parent dbb98e9
commit 08c1629
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6,744 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -14,16 +14,11 @@ env:
   - NJOBS="2"
   - CONTRIB_NAME="finmap"
   matrix:
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.7"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.8"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.9"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.10"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.11"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.7"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.8"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.9"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.10"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.11"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.7"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.8"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.9"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.10"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.11"
   - DOCKERIMAGE="mathcomp/mathcomp-dev:coq-8.7"
   - DOCKERIMAGE="mathcomp/mathcomp-dev:coq-8.8"
   - DOCKERIMAGE="mathcomp/mathcomp-dev:coq-8.9"

diff --git a/_CoqProject b/_CoqProject
@@ -1,6 +1,5 @@
 finmap.v
 multiset.v
-order.v
 set.v
 
--R . mathcomp.finmap
+-R . mathcomp.finmap