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

Update Iris to version dev.2025-02-19.0.8c15c913

parent 185314ba
No related branches found
No related tags found
1 merge request!56Update Iris to dev.2025-02-19.0.8c15c913.
Pipeline #117128 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 @ 8c479fb2
...@@ -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.2025-01-31.0.1bb4eba3" ) | = "dev" | = "4.1.0" } "coq-iris" { (>= "dev.2024-08-16.3.8890e30a" & <= "dev.2025-02-19.0.8c15c913" ) | = "dev" | = "4.1.0" }
"coq" { >= "8.19" & < "8.21~" } "coq" { >= "8.19" & < "8.21~" }
] ]
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