From cb8cf79de12a45e3b6c76cfaf2bfd2f6096fef0a Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Sat, 4 Jan 2025 01:30:50 +0900
Subject: [PATCH] upd meta.yml

---
 coq-monae.opam | 12 ++++++------
 meta.yml       | 12 ++++++------
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/coq-monae.opam b/coq-monae.opam
index 70f5d10..0983e0b 100644
--- a/coq-monae.opam
+++ b/coq-monae.opam
@@ -19,12 +19,12 @@ build: [make "-j%{jobs}%" ]
 install: [make "install_full"]
 depends: [
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.3.0") | (= "dev")  }
-  "coq-mathcomp-fingroup" { (>= "2.3.0") | (= "dev")  }
-  "coq-mathcomp-algebra" { (>= "2.3.0") | (= "dev")  }
-  "coq-mathcomp-solvable" { (>= "2.3.0") | (= "dev")  }
-  "coq-mathcomp-field" { (>= "2.3.0") | (= "dev")  }
-  "coq-mathcomp-analysis" { (>= "1.8.0")}
+  "coq-mathcomp-ssreflect" { (>= "2.3.0") }
+  "coq-mathcomp-fingroup" { (>= "2.3.0") }
+  "coq-mathcomp-algebra" { (>= "2.3.0") }
+  "coq-mathcomp-solvable" { (>= "2.3.0") }
+  "coq-mathcomp-field" { (>= "2.3.0") }
+  "coq-mathcomp-analysis" { (>= "1.8.0") }
   "coq-infotheo" { >= "0.7.6"}
   "coq-paramcoq" { >= "1.1.3" & < "1.2~" }
   "coq-hierarchy-builder" { >= "1.7.0" }
diff --git a/meta.yml b/meta.yml
index e07b9f2..a2d9981 100644
--- a/meta.yml
+++ b/meta.yml
@@ -47,32 +47,32 @@ tested_coq_opam_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{ (>= "2.3.0") | (= "dev")  }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp ssreflect](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-fingroup
-    version: '{ (>= "2.3.0") | (= "dev")  }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp fingroup](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
-    version: '{ (>= "2.3.0") | (= "dev")  }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp algebra](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-solvable
-    version: '{ (>= "2.3.0") | (= "dev")  }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp solvable](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-field
-    version: '{ (>= "2.3.0") | (= "dev")  }'
+    version: '{ (>= "2.3.0") }'
   description: |-
     [MathComp field](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-analysis
-    version: '{ (>= "1.8.0")}'
+    version: '{ (>= "1.8.0") }'
   description: |-
     [MathComp analysis](https://github.com/math-comp/analysis)
 - opam: