fix opam

math-comp · Nov 19, 2021 · 48efaf1 · 48efaf1
1 parent 935a2ca
commit 48efaf1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
@@ -25,8 +25,8 @@ depends: [
   "coq-mathcomp-solvable" { (>= "1.12.0" & < "1.14~") | (= "dev") }
   "coq-mathcomp-field" { (>= "1.12.0" & < "1.14~") | (= "dev") }
   "coq-mathcomp-finmap" { (>= "1.5.1" & < "1.6~") | (= "dev") }
-  "coq-mathcomp-bigenough" { (>= "1.0.0") | (= "dev") }
-  "coq-hierarchy-builder" { (>= "0.10.0")}
+  "coq-mathcomp-bigenough" { (>= "1.0.0") }
+  "coq-hierarchy-builder" { (>= "0.10.0") }
 ]
 
 tags: [

diff --git a/meta.yml b/meta.yml
@@ -106,12 +106,12 @@ dependencies:
     [MathComp finmap 1.5.1](https://github.com/math-comp/finmap)
 - opam:
     name: coq-mathcomp-bigenough
-    version: '{ (>= "1.0.0") | (= "dev") }'
+    version: '{ (>= "1.0.0") }'
   description: |-
     [MathComp bigenough 1.0.0](https://github.com/math-comp/bigenough)
 - opam:
     name: coq-hierarchy-builder
-    version: '{ (>= "0.10.0")}'
+    version: '{ (>= "0.10.0") }'
   description: |-
     [Hierarchy Builder >= 0.10.0](https://github.com/math-comp/hierarchy-builder)
 namespace: mathcomp.analysis