Tags · Iris / stdpp · GitLab

Tags give the ability to mark specific points in history as being important

coq-stdpp-1.8.0 protected

6e560df6 · set release date · Aug 17, 2022

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.7.0 protected

ebfb79dd · Merge branch 'release-notes-1.7.0' into 'master' · Jan 22, 2022

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.6.0 protected

4922a992 · finalize release · Nov 05, 2021

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.5.0 protected

13df6821 · also mention release managers · Feb 15, 2021

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.4.0 protected

5c3c460e · Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp · Jul 15, 2020

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.3.0 protected

e61c2104 · Merge branch 'robbert/changelog' into 'master' · Mar 18, 2020

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.2.1 protected

75435486 · release 1.2.1 · Aug 29, 2019

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.2.0 protected

10bc4e2a · release version 1.2.0 · Apr 26, 2019

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.1.0 protected

0dbc1f4a · mention required opam version · Dec 18, 2017

Download source code

zip tar.gz tar.bz2 tar
coq-stdpp-1.0.0 protected

92bb54a9 · edit opam file · Feb 13, 2017

Download source code

zip tar.gz tar.bz2 tar