Skip to content
Snippets Groups Projects
Commit 7caf062a authored by Ralf Jung's avatar Ralf Jung
Browse files

update Iris (for 8.6 compat)

parent 144759ab
No related branches found
No related tags found
No related merge requests found
Pipeline #
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam.pins
+ 1
− 1
View file @ 7caf062a
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq fb1de8a829222a772de741f9eb9a9a9eb15d966d
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq f8e2c74ce745f092c4d20e9ef855d7657e25134c
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