Commit 3bcc2d92 authored by Ike Mulder's avatar Ike Mulder
Browse files

Change reqs.

parent 407e78e7
Pipeline #65531 failed with stage
in 4 minutes and 25 seconds
......@@ -7,8 +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-02-11.0.1bff65be"}
"coq-autosubst" {= "dev"}
"coq-iris-heap-lang" { (= "dev.2022-01-17.2.ec624937") | (= "dev") | (>= "3.5.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