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

Update Iris to version dev.2024-09-11.3.0203d5ca

parent cb0dbac1
No related branches found
No related tags found
1 merge request!21Update Iris to dev.2024-09-10.0.f14ebfde
Pipeline #107122 failed
Stage: build
Stage: supplement
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
coq-diaframe.opam
+ 1
− 1
View file @ 1ec23f75
...@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>" ...@@ -7,7 +7,7 @@ authors: "Ike Mulder <me@ikemulder.nl>"
homepage: "https://gitlab.mpi-sws.org/iris/diaframe/" homepage: "https://gitlab.mpi-sws.org/iris/diaframe/"
bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues" bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [ depends: [
"coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2024-09-05.0.f6ed0921" ) | = "dev" | = "4.1.0" } "coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2024-09-11.3.0203d5ca" ) | = "dev" | = "4.1.0" }
"coq" { >= "8.18" & < "8.20~" } "coq" { >= "8.18" & < "8.20~" }
] ]
build: [make "-j%{jobs}%" "diaframe"] build: [make "-j%{jobs}%" "diaframe"]
......
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