Skip to content
Snippets Groups Projects
Commit 212822a8 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Update opam.pins.

parent 94621bdc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
opam.pins
+ 1
− 1
View file @ 212822a8
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq#243fdd139ccdf1370e5b186650e4323d5e73e54b
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq#ce32b224b90b6c91eae1ddb60505107b2f66b263
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