Snippets Groups Projects

Tags

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

coq-stdpp-1.11.0 protected

ecc41d2f · release version 1.11 · 4 months ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.10.0 protected

eb2afa52 · Merge branch 'ralf/release' into 'master' · 11 months ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.9.0 protected

9084203e · tag 1.9.0 release · 1 year ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.8.0 protected

6e560df6 · set release date · 2 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.7.0 protected

ebfb79dd · Merge branch 'release-notes-1.7.0' into 'master' · 3 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.6.0 protected

4922a992 · finalize release · 3 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.5.0 protected

13df6821 · also mention release managers · 4 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.4.0 protected

5c3c460e · Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp · 4 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.3.0 protected

e61c2104 · Merge branch 'robbert/changelog' into 'master' · 4 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.2.1 protected

75435486 · release 1.2.1 · 5 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.2.0 protected

10bc4e2a · release version 1.2.0 · 5 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.1.0 protected

0dbc1f4a · mention required opam version · 7 years ago
zip
tar.gz
tar.bz2
tar
coq-stdpp-1.0.0 protected

92bb54a9 · edit opam file · 8 years ago
zip
tar.gz
tar.bz2
tar