Skip to content
Snippets Groups Projects
Commit 14e282c6 authored by Ike Mulder's avatar Ike Mulder
Browse files

Update lambda-rust to version 6897c8b3

parent 53f4c1c7
No related branches found
No related tags found
1 merge request!23Update lambda-rust to 6897c8b3.
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
supplements/coq-diaframe-lambda-rust.opam
+ 2
− 2
View file @ 14e282c6
......@@ -13,8 +13,8 @@ depends: [
"coq-lambda-rust"
]
pin-depends: [
["coq-lambda-rust.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#72a1c9c3"]
["coq-lifetime-logic.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#72a1c9c3"]
["coq-lambda-rust.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#6897c8b3"]
["coq-lifetime-logic.dev" "git+https://gitlab.mpi-sws.org/iris/lambda-rust#6897c8b3"]
]
build: [make "-j%{jobs}%" "diaframe-lambda-rust"]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment