Skip to content
Snippets Groups Projects

Update Iris to dev.2024-09-10.0.f14ebfde

Merged Update Iris to dev.2024-09-10.0.f14ebfde
ci/update-iris-to-dev.2024-09-11.3.0203d5ca into master
Merged supplement_updater_dev requested to merge ci/update-iris-to-dev.2024-09-11.3.0203d5ca into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
coq-diaframe.opam
+ 1
− 1
@@ -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-10.0.f14ebfde" ) | = "dev" | = "4.1.0" }
"coq" { >= "8.18" & < "8.20~" }
"coq" { >= "8.18" & < "8.20~" }
]
]
build: [make "-j%{jobs}%" "diaframe"]
build: [make "-j%{jobs}%" "diaframe"]