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

Update iris-examples to version dev.2025-02-05.0.9806de16

parent 185314ba
No related branches found
No related tags found
1 merge request!54Update iris-examples to dev.2025-02-05.0.9806de16.
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
supplements/coq-diaframe-iris-examples.opam
+ 1
− 1
View file @ b67547bf
...@@ -10,7 +10,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues" ...@@ -10,7 +10,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/diaframe/-/issues"
depends: [ depends: [
"coq" { = "8.20.0" } "coq" { = "8.20.0" }
"coq-diaframe-heap-lang" {= version} "coq-diaframe-heap-lang" {= version}
"coq-iris-examples" { = "dev.2025-01-25.0.e5afd885" | = "~dev" } "coq-iris-examples" { = "dev.2025-02-05.0.9806de16" | = "~dev" }
] ]
build: [make "-j%{jobs}%" "diaframe-iris-examples"] build: [make "-j%{jobs}%" "diaframe-iris-examples"]
install: [make "install-diaframe-iris-examples"] install: [make "install-diaframe-iris-examples"]
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