From e96b8098d960873ff4361e490f6df5880d8abb66 Mon Sep 17 00:00:00 2001
From: Yannick Forster <yannick.forster@inria.fr>
Date: Thu, 5 Oct 2023 10:38:01 +0200
Subject: [PATCH] coq-equations.1.3+8.18

---
 coq-metacoq-utils.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq-metacoq-utils.opam b/coq-metacoq-utils.opam
index 680c1ded6..3593a7aca 100644
--- a/coq-metacoq-utils.opam
+++ b/coq-metacoq-utils.opam
@@ -30,7 +30,7 @@ install: [
 depends: [
   "stdlib-shims"
   "coq" { >= "8.18" & < "8.19~" }
-  "coq-equations" { = "1.3" }
+  "coq-equations" { = "1.3+8.18" }
 ]
 synopsis: "The utility library of Template Coq and PCUIC"
 description: """