Skip to content
Snippets Groups Projects
Commit c0757d53 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Oops, forgot to bump Iris.

parent ce54063e
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 @ c0757d53
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 857f9909b773754d521d47f0fe6f43aec6c3214d coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 09d97eae9eba95ebf5539a0b32e88bfc0b61c0fe
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