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