Use rust and elm extraction 0.1.0 releases

AU-COBRA · Oct 14, 2024 · 718c7c2 · 718c7c2
1 parent d36158d
commit 718c7c2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 19 deletions.
diff --git a/.github/coq-concert.opam.locked b/.github/coq-concert.opam.locked
@@ -19,8 +19,8 @@ depends: [
   "coq-metacoq-template" {= "1.3.1+8.19"}
   "coq-metacoq-template-pcuic" {= "1.3.1+8.19"}
   "coq-metacoq-utils" {= "1.3.1+8.19"}
-  "coq-rust-extraction" {= "dev"}
-  "coq-elm-extraction" {= "dev"}
+  "coq-rust-extraction" {= "0.1.0"}
+  "coq-elm-extraction" {= "0.1.0"}
   "coq-quickchick" {= "2.0.4"}
   "coq-stdpp" {= "1.10.0"}
 ]
@@ -34,13 +34,3 @@ install: [
   [make "-C" "examples" "install"] {with-test}
 ]
 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#7a5e27c1242abf36cf265e170562a057ac3415f6"
-  ]
-  [
-    "coq-elm-extraction.dev"
-    "git+https://github.com/AU-COBRA/coq-elm-extraction.git#32eff8eefebc9b2b7fe81c2653559a819740058b"
-  ]
-]
diff --git a/coq-concert.opam b/coq-concert.opam
@@ -24,16 +24,11 @@ depends: [
   "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-rust-extraction" {= "0.1.0"}
+  "coq-elm-extraction" {= "0.1.0"}
   "coq-stdpp" {>= "1.9.0" & < "1.11~"}
 ]
 
-pin-depends: [
-  ["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"]
-]
-
 build: [
   [make]
   [make "examples"] {with-test}