diff --git a/opam b/opam
index 30a7ce5..cf2d76d 100644
--- a/opam
+++ b/opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-name: "coq-mathcomp-fourcolor"
+name: "coq-fourcolor"
 version: "dev"
 maintainer: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 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" ]