From 62db8fa414539b789db86a17258f07b6b4b2e22d Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Sun, 10 Dec 2023 23:00:01 +0900
Subject: [PATCH] fix

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

diff --git a/coq-monae.opam b/coq-monae.opam
index ddad3cfe..9cfc7447 100644
--- a/coq-monae.opam
+++ b/coq-monae.opam
@@ -19,7 +19,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install_full"]
 depends: [
   "coq" { (>= "8.16" & < "8.19~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
+  "coq-mathcomp-ssreflect" { (>= "1.17.0" & < "1.19~") | (= "dev")  }
   "coq-mathcomp-fingroup" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
   "coq-mathcomp-algebra" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
   "coq-mathcomp-solvable" { (>= "1.16.0" & < "1.19~") | (= "dev")  }
diff --git a/meta.yml b/meta.yml
index 0115e9cc..ecf22f3b 100644
--- a/meta.yml
+++ b/meta.yml
@@ -51,7 +51,7 @@ tested_coq_opam_versions:
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{ (>= "1.16.0" & < "1.19~") | (= "dev")  }'
+    version: '{ (>= "1.17.0" & < "1.19~") | (= "dev")  }'
   description: |-
     [MathComp ssreflect](https://math-comp.github.io)
 - opam: