From b6c8f038d4c4a7fb1595d62dd3a1647c941f033d Mon Sep 17 00:00:00 2001
From: Christian Doczkal <christian.doczkal@inria.fr>
Date: Mon, 22 Jun 2020 14:49:18 +0200
Subject: [PATCH] fix parsing error

---
 coq-graph-theory.opam | 2 +-
 meta.yml              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq-graph-theory.opam b/coq-graph-theory.opam
index 6ee5ddd..9c44c96 100644
--- a/coq-graph-theory.opam
+++ b/coq-graph-theory.opam
@@ -21,7 +21,7 @@ build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
   "coq" {(>= "8.10" & < "8.12~") | (= "dev")}
-  "coq-mathcomp-ssreflect" {>= "1.10" & < "1.12~") | (= "dev")}
+  "coq-mathcomp-ssreflect" {(>= "1.10" & < "1.12~") | (= "dev")}
   "coq-mathcomp-finmap" 
 ]
 
diff --git a/meta.yml b/meta.yml
index c244ef9..f54e60b 100644
--- a/meta.yml
+++ b/meta.yml
@@ -62,7 +62,7 @@ tested_coq_opam_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{>= "1.10" & < "1.12~") | (= "dev")}'
+    version: '{(>= "1.10" & < "1.12~") | (= "dev")}'
   description: MathComp's SSReflect library, version 1.10 or later
 - opam:
     name: coq-mathcomp-finmap