From d721abeb25806fefed75ab826fb5bd5e026051da Mon Sep 17 00:00:00 2001
From: Christian Doczkal <christian.doczkal@inria.fr>
Date: Thu, 18 Jun 2020 17:35:57 +0200
Subject: [PATCH] allow stable dep

---
 opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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" ]