[skip ci] Update opam lock file

AU-COBRA · Jun 18, 2024 · f663a88 · f663a88
1 parent af78d2e
commit f663a88
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/.github/coq-concert.opam.locked b/.github/coq-concert.opam.locked
@@ -12,13 +12,13 @@ bug-reports: "https://github.com/AU-COBRA/ConCert/issues"
 depends: [
   "coq" {= "8.18.0"}
   "coq-bignums" {= "9.0.0+coq8.18"}
-  "coq-metacoq-common" {= "1.2.1+8.18"}
-  "coq-metacoq-erasure" {= "1.2.1+8.18"}
-  "coq-metacoq-pcuic" {= "1.2.1+8.18"}
-  "coq-metacoq-safechecker" {= "1.2.1+8.18"}
-  "coq-metacoq-template" {= "1.2.1+8.18"}
-  "coq-metacoq-template-pcuic" {= "1.2.1+8.18"}
-  "coq-metacoq-utils" {= "1.2.1+8.18"}
+  "coq-metacoq-common" {= "1.3.1+8.18"}
+  "coq-metacoq-erasure" {= "1.3.1+8.18"}
+  "coq-metacoq-pcuic" {= "1.3.1+8.18"}
+  "coq-metacoq-safechecker" {= "1.3.1+8.18"}
+  "coq-metacoq-template" {= "1.3.1+8.18"}
+  "coq-metacoq-template-pcuic" {= "1.3.1+8.18"}
+  "coq-metacoq-utils" {= "1.3.1+8.18"}
   "coq-rust-extraction" {= "dev"}
   "coq-elm-extraction" {= "dev"}
   "coq-quickchick" {= "dev"}
@@ -37,11 +37,11 @@ dev-repo: "git+https://github.com/AU-COBRA/ConCert.git"
 pin-depends: [
   [
     "coq-rust-extraction.dev"
-    "git+https://github.com/AU-COBRA/coq-rust-extraction.git#0053733e56008c917bf43d12e8bf0616d3b9a856"
+    "git+https://github.com/AU-COBRA/coq-rust-extraction.git#7a5e27c1242abf36cf265e170562a057ac3415f6"
   ]
   [
     "coq-elm-extraction.dev"
-    "git+https://github.com/AU-COBRA/coq-elm-extraction.git#903320120e3f36d7857161e5680fabeb6e743c6b"
+    "git+https://github.com/AU-COBRA/coq-elm-extraction.git#32eff8eefebc9b2b7fe81c2653559a819740058b"
   ]
   [
     "coq-quickchick.dev"

diff --git a/coq-concert.opam b/coq-concert.opam
@@ -17,21 +17,21 @@ depends: [
   "coq" {>= "8.17" & < "8.19~"}
   "coq-bignums" {>= "8"}
   "coq-quickchick" {= "dev"}
-  "coq-metacoq-utils" {>= "1.2" & < "1.3~"}
-  "coq-metacoq-common" {>= "1.2" & < "1.3~"}
-  "coq-metacoq-template" {>= "1.2" & < "1.3~"}
-  "coq-metacoq-template-pcuic" {>= "1.2" & < "1.3~"}
-  "coq-metacoq-pcuic" {>= "1.2" & < "1.3~"}
-  "coq-metacoq-safechecker" {>= "1.2" & < "1.3~"}
-  "coq-metacoq-erasure" {>= "1.2" & < "1.3~"}
+  "coq-metacoq-utils" {>= "1.3.1" & < "1.4~"}
+  "coq-metacoq-common" {>= "1.3.1" & < "1.4~"}
+  "coq-metacoq-template" {>= "1.3.1" & < "1.4~"}
+  "coq-metacoq-template-pcuic" {>= "1.3.1" & < "1.4~"}
+  "coq-metacoq-pcuic" {>= "1.3.1" & < "1.4~"}
+  "coq-metacoq-safechecker" {>= "1.3.1" & < "1.4~"}
+  "coq-metacoq-erasure" {>= "1.3.1" & < "1.4~"}
   "coq-rust-extraction" {= "dev"}
   "coq-elm-extraction" {= "dev"}
   "coq-stdpp" {= "1.9.0"}
 ]
 
 pin-depends: [
-  ["coq-rust-extraction.dev" "git+https://github.com/AU-COBRA/coq-rust-extraction.git#0053733e56008c917bf43d12e8bf0616d3b9a856"]
-  ["coq-elm-extraction.dev" "git+https://github.com/AU-COBRA/coq-elm-extraction.git#903320120e3f36d7857161e5680fabeb6e743c6b"]
+  ["coq-rust-extraction.dev" "git+https://github.com/AU-COBRA/coq-rust-extraction.git#7a5e27c1242abf36cf265e170562a057ac3415f6"]
+  ["coq-elm-extraction.dev" "git+https://github.com/AU-COBRA/coq-elm-extraction.git#32eff8eefebc9b2b7fe81c2653559a819740058b"]
   ["coq-quickchick.dev" "git+https://github.com/4ever2/QuickChick.git#bc61d58045feeb754264df9494965c280e266e1c"]
 ]