stdpp tags
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags/coq-stdpp-1.4.0
coq-stdpp-1.4.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags/coq-stdpp-1.3.0
coq-stdpp-1.3.0
Robbert
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags/coq-stdpp-1.2.1
coq-stdpp-1.2.1
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags/coq-stdpp-1.2.0
coq-stdpp-1.2.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags/coq-stdpp-1.1.0
coq-stdpp-1.1.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/herbelin/stdpp/-/tags/coq-stdpp-1.0.0
coq-stdpp-1.0.0
Ralf Jung
jung@mpi-sws.org