Commit 094bee3c authored by Robbert Krebbers's avatar Robbert Krebbers

Bump coq-stdpp.

parent bfe7dd4c
coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp a0ce0937cfabe16a184af2d92c0466ebacecbca2
coq-stdpp https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp 22511f77518d7d9845c5458f222c52621da11f70
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