Skip to content

GitLab

Commit 572c37bb authored by Ralf Jung's avatar Ralf Jung
Browse files

update Iris version

parent 753aaaae
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
opam.pins
View file @ 572c37bb
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq b212b3faddae4b089f30ef1c7a27d43ebd3a1675
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 766dbcd2415df9256f197dc562a0a15f9b0ddeac
Markdown is supported
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