Commit aa3c42cf authored by Ike Mulder's avatar Ike Mulder
Browse files

Update iris version dependency in opam file.

parent c1ef67d6
Pipeline #62359 failed with stage
in 11 minutes and 19 seconds
......@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>"
homepage: "https://gitlab.mpi-sws.org/iris/automation/"
bug-reports: "https://gitlab.mpi-sws.org/iris/automation/-/issues"
depends: [
"coq-iris-heap-lang" {= "dev.2021-11-23.0.d04dfdf4"}
"coq-iris-heap-lang" {= "dev.2022-02-11.0.1bff65be"}
"coq-autosubst" {= "dev"}
]
build: [make "-j%{jobs}%"]
......
Supports Markdown
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