use Equations 1.3.1.

CertiCoq · Jan 28, 2025 · fc022f7 · fc022f7
1 parent 713034c
commit fc022f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-certicoq.opam b/coq-certicoq.opam
@@ -33,7 +33,7 @@ depends: [
   "stdlib-shims"
   "coq" {>= "8.20" & < "8.21~"}
   "coq-compcert" {= "3.13.1"}
-  "coq-equations" {= "1.3+8.20"}
+  "coq-equations" {= "1.3.1+8.20"}
   "coq-metacoq-erasure-plugin" {= "1.3.4+8.20"}
   "coq-metacoq-safechecker-plugin" {= "1.3.4+8.20"}
   "coq-ext-lib" {>= "0.12"}