Commit 1f1c66bd authored by Robbert Krebbers's avatar Robbert Krebbers

Bump Iris version.

parent 6d0aa4f2
coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp c1687739d086a13d296083010f0e295b084c8880
coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 613168bf8af3af0fe31873efd89038a89800792e
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