Fix Coq versions for coq-mathcomp-finmap packages

coq · Apr 6, 2020 · 075eed9 · 075eed9
1 parent b55fe43
commit 075eed9
Show file tree

Hide file tree

Showing 9 changed files with 7 additions and 19 deletions.
diff --git a/extra-dev/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.dev/opam b/extra-dev/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.dev/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 version: "dev"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
@@ -12,7 +11,8 @@ build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/finmap'" ]
 depends: [
-  "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.11~") | (= "dev")}
+  "coq" { (>= "8.7" & < "8.12~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.11~") | (= "dev") }
   "coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1~") }
 ]
 tags: [ "keyword:finmap" "keyword:finset" "keyword:multiset" "keyword:order"]

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.0.0/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.0.0/opam
@@ -1,6 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
-version: "1.0.0"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "http://www.cyrilcohen.fr"
@@ -11,7 +9,6 @@ license: "CeCILL-B"
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "ocaml"
   "coq" {>= "8.6"}
   "coq-mathcomp-ssreflect" {>= "1.6.1" & < "1.8~"}
 ]

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.1.0/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.1.0/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "http://www.cyrilcohen.fr"
@@ -9,7 +8,6 @@ license: "CeCILL-B"
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "ocaml"
   "coq-mathcomp-ssreflect" {>= "1.7.0" & < "1.8~"}
 ]
 tags: [

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.2.0/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.2.0/opam
@@ -1,6 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
-version: "1.2.0"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "https://github.com/math-comp/finmap"
@@ -10,9 +8,9 @@ license: "CeCILL-B"
 
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
-remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/finmap'" ]
 depends: [
-  "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.9.0~") | (= "dev")}
+  "coq" { (>= "8.7" & < "8.11.1") }
+  "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.9.0~") }
   "coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1.0~") }
 ]
 tags: [ "keyword:finmap" "keyword:finset" "keyword:multiset" "keyword:order"]

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.2.1/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.2.1/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "https://github.com/math-comp/finmap"
@@ -10,7 +9,7 @@ license: "CeCILL-B"
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "coq" { (>= "8.7" & < "8.12~") }
+  "coq" { (>= "8.7" & < "8.11.1") }
   "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.10.0~") }
   "coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1.0~") }
 ]

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.3.1/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.3.1/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "https://github.com/math-comp/finmap"

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.3.3/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.3.3/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "https://github.com/math-comp/finmap"

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.3.4/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.3.4/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "https://github.com/math-comp/finmap"
@@ -10,7 +9,7 @@ license: "CeCILL-B"
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "coq" { (>= "8.7" & < "8.12~") }
+  "coq" { (>= "8.7" & < "8.11.1") }
   "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.11~") }
   "coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1~") }
 ]

diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.4.0/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.4.0/opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-mathcomp-finmap"
 maintainer: "Cyril Cohen <cyril.cohen@inria.fr>"
 
 homepage: "https://github.com/math-comp/finmap"
@@ -10,7 +9,7 @@ license: "CeCILL-B"
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "coq" { (>= "8.7" & < "8.12~") }
+  "coq" { (>= "8.7" & < "8.11.1") }
   "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.11~") }
   "coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1~") }
 ]