From c3d7fb698286e8d679c27fb4b5f43f93f05a6342 Mon Sep 17 00:00:00 2001
From: Arthur Azevedo de Amorim <arthur.aa@gmail.com>
Date: Mon, 2 Dec 2024 16:32:15 -0500
Subject: [PATCH] Add ssreflect bound on deriving 0.2.0 package.

---
 released/packages/coq-deriving/coq-deriving.0.2.0/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-deriving/coq-deriving.0.2.0/opam b/released/packages/coq-deriving/coq-deriving.0.2.0/opam
index 3e514d34c..0d35cf431 100644
--- a/released/packages/coq-deriving/coq-deriving.0.2.0/opam
+++ b/released/packages/coq-deriving/coq-deriving.0.2.0/opam
@@ -10,7 +10,7 @@ build: [ make "-j" "%{jobs}%" "test" {with-test} ]
 install: [ make "install" ]
 depends: [
   "coq" { (>= "8.17" & < "8.21~") | (= "dev") }
-  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-ssreflect" {>= "2.0" & < "2.3~"}
 ]
 
 tags: [