From 48efaf1b4a66ceb12647fb551b7853317fc71ca7 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Sat, 20 Nov 2021 07:05:05 +0900
Subject: [PATCH] fix opam

---
 coq-mathcomp-analysis.opam | 4 ++--
 meta.yml                   | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/coq-mathcomp-analysis.opam b/coq-mathcomp-analysis.opam
index d98210498..1e7227923 100644
--- 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
index 76b2e46b0..6dd9873cf 100644
--- 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