From 48c1330c43194c566410bb1dcb1af623b679cc2e Mon Sep 17 00:00:00 2001
From: Cyril Cohen <cohen@crans.org>
Date: Wed, 27 Nov 2019 17:03:12 +0100
Subject: [PATCH] Anticipate this will work for mathcomp 1.10

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 3063ff5..aedd18a 100644
--- a/opam
+++ b/opam
@@ -13,7 +13,7 @@ install: [ make "install" ]
 
 depends: [
   "coq" { (>= "8.7" & < "8.11~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.10~") | (= "dev") }
+  "coq-mathcomp-ssreflect" { (>= "1.8.0" & < "1.11~") | (= "dev") }
   "coq-mathcomp-bigenough" { (>= "1.0.0" & < "1.1~")  | (= "dev") }
 ]
 tags: [ "keyword:finmap" "keyword:finset" "keyword:multiset" "keyword:order"]