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

forgot to bump Iris

parent d936baff
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 @ e9941790
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 6456f1f92fa1fc40b823535dedd8b3989827fd06 coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 9bafdd7eea6d8015ffb127cb3a5133eba86e0ce9
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