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

Maybe fix reqs.

parent 3bcc2d92
Pipeline #65546 passed with stage
in 11 minutes and 6 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-heap-lang" { (= "dev.2022-01-17.2.ec624937") | (= "dev") | (>= "3.5.0") }
"coq-iris-heap-lang" { (>= "dev.2022-01-17.2.ec624937" & <= "dev.2022-04-10.0.b6bc287b" ) | (>= "3.5.0" & < "4.0.0") }
]
build: [make "-j%{jobs}%"]
install: [make "real-install"]
......
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