Skip to content
Snippets Groups Projects

Bump iris

Merged Bump iris
mattam82/examples:pr-13969-take3 into master
Merged Matthieu Sozeau requested to merge mattam82/examples:pr-13969-take3 into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
coq-iris-examples.opam
+ 1
− 1
@@ -8,7 +8,7 @@ dev-repo: "git+https://gitlab.mpi-sws.org/iris/examples.git"
synopsis: "A collection of case studies for Iris -- not meant to be used as a dependency of anything"
depends: [
"coq-iris-heap-lang" { (= "dev.2022-01-13.0.5070f7f5") | (= "dev") }
"coq-iris-heap-lang" { (= "dev.2022-01-14.0.f85824ee") | (= "dev") }
"coq-autosubst" { = "dev" }
]