Cleanup coq-mathcomp-classical.opam

Following comment in coq/opam#3192
math-comp · Oct 29, 2024 · a3f0e3c · a3f0e3c
1 parent bfe97a5
commit a3f0e3c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq-mathcomp-classical.opam b/coq-mathcomp-classical.opam
@@ -16,10 +16,10 @@ build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
   "coq" { (>= "8.19" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "2.1.0") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "2.1.0") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"
-  "coq-mathcomp-finmap" { (>= "2.0.0") | (= "dev") }
+  "coq-mathcomp-finmap" { (>= "2.0.0") }
   "coq-hierarchy-builder" { (>= "1.4.0") }
 ]