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

Temporary upper bound on Iris version for tc_solve.

parent 1d08a383
Pipeline #75248 passed with stages
in 67 minutes and 2 seconds
......@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>"
homepage: "https://gitlab.mpi-sws.org/iris/diaframe/"
bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [
"coq-iris" { (>= "dev.2022-07-27.5.753562b6" & < "dev.2025" ) | (> "3.6.0" & < "1337.0.0") | = "dev" }
"coq-iris" { (>= "dev.2022-07-27.5.753562b6" & <= "dev.2022-11-24.0.7481461f" ) | (> "3.6.0" & < "1337.0.0") | = "dev" }
"coq" { < "8.16.0" }
]
build: [make "-j%{jobs}%" "diaframe"]
......
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