From 5df3b69e75f7ef90f88933a9d7b3895c938623f3 Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi <pi8027@gmail.com>
Date: Fri, 25 Aug 2023 14:07:31 +0200
Subject: [PATCH] Fix the dependencies of coq-mathcomp-zify.dev

---
 .../packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam    | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam b/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam
index 928a160ec..4a698f29d 100644
--- a/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam
+++ b/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam
@@ -15,8 +15,9 @@ zify tactic."""
 build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.13"}
-  "coq-mathcomp-algebra" {>= "1.12"}
+  "coq" {>= "8.16"}
+  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-algebra"
 ]
 
 tags: [