allow stable dep

coq-community · Jun 18, 2020 · d721abe · d721abe
1 parent 8d21f62
commit d721abe
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/opam b/opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-name: "coq-mathcomp-fourcolor"
+name: "coq-fourcolor"
 version: "dev"
 maintainer: "Mathematical Components <[email protected]>"
 homepage: "https://math-comp.github.io/math-comp/"
@@ -9,7 +9,7 @@ license: "CeCILL-B"
 
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
-depends: [ "coq-mathcomp-algebra" { = "dev" } ]
+depends: [ "coq-mathcomp-algebra" { >= "1.11.0" | = "dev" } ]
 
 tags: [ "keyword:Four color theorem" "keyword:small scale reflection" "keyword:mathematical components" ]
 authors: [ "Georges Gonthier" ]