update metadata (-mathcomp-1.9 +mathcomp-1.11)

coq-community · Jun 22, 2020 · c941327 · c941327
1 parent 6b0de3c
commit c941327
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -35,6 +35,7 @@ language: shell
 
 .nix: &NIX
   language: nix
+  nix: 2.3.5
   script:
   - nix-build --argstr coq-version-or-url "$COQ" --extra-substituters https://coq.cachix.org --trusted-public-keys "cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= coq.cachix.org-1:5QW/wwEnD+l2jvN6QRbRRsa4hBHG3QiQQ26cxu1F5tI="
 

diff --git a/README.md b/README.md
@@ -39,9 +39,9 @@ isomorphism).
   - Christian Doczkal ([**@chdoc**](https://github.com/chdoc))
   - Damien Pous ([**@damien-pous**](https://github.com/damien-pous))
 - License: [CeCILL-B](LICENSE)
-- Compatible Coq versions: 8.10 or later (use releases for other Coq versions)
+- Compatible Coq versions: 8.10 or later
 - Additional dependencies:
-  - MathComp's SSReflect library, version 1.9 or later
+  - MathComp's SSReflect library, version 1.10 or later
   - MathComp's finmap library
 - Coq namespace: `GraphTheory`
 - Related publication(s):

diff --git a/coq-graph-theory.opam b/coq-graph-theory.opam
@@ -21,8 +21,8 @@ build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
   "coq" {(>= "8.10" & < "8.12~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {(>= "1.9" & < "1.11~") | (= "dev")}
-  "coq-mathcomp-finmap" {>= "1.2.1"}
+  "coq-mathcomp-ssreflect" {>= "1.10" & < "1.12~") | (= "dev")}
+  "coq-mathcomp-finmap" 
 ]
 
 tags: [

diff --git a/meta.yml b/meta.yml
@@ -51,7 +51,7 @@ license:
   identifier: CECILL-B
 
 supported_coq_versions:
-  text: 8.10 or later (use releases for other Coq versions)
+  text: 8.10 or later
   opam: '{(>= "8.10" & < "8.12~") | (= "dev")}'
 
 tested_coq_opam_versions:
@@ -62,11 +62,10 @@ tested_coq_opam_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{(>= "1.9" & < "1.11~") | (= "dev")}'
-  description: MathComp's SSReflect library, version 1.9 or later
+    version: '{>= "1.10" & < "1.12~") | (= "dev")}'
+  description: MathComp's SSReflect library, version 1.10 or later
 - opam:
     name: coq-mathcomp-finmap
-    version: '{>= "1.2.1"}'
   description: MathComp's finmap library
 
 namespace: GraphTheory