coq-equations.1.3+8.18

MetaCoq · Oct 5, 2023 · 1fcd7ff · 1fcd7ff
1 parent efe2b96
commit 1fcd7ff
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -55,7 +55,7 @@ jobs:
             startGroup "Print opam config"
               sudo chown -R coq:coq .
               opam config list; opam repo list; opam list
-              opam pin -y coq-equations.1.3 "https://github.com/mattam82/Coq-Equations.git#8.18"
+              opam pin -y coq-equations.1.3+8.18 "https://github.com/mattam82/Coq-Equations.git#8.18"
             endGroup
           script: |
             startGroup "Build project"

diff --git 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: """