Skip to content
GitLab
Explore
Sign in
You need to sign in or sign up before continuing.
Tags
Tags give the ability to mark specific points in history as being important
coq-stdpp-1.12.0
3f2dd924
·
Merge branch 'rodolphe/rocq9' into 'master'
·
May 02, 2025
coq-stdpp-1.11.0
ecc41d2f
·
release version 1.11
·
Oct 30, 2024
coq-stdpp-1.10.0
eb2afa52
·
Merge branch 'ralf/release' into 'master'
·
Apr 12, 2024
coq-stdpp-1.9.0
9084203e
·
tag 1.9.0 release
·
Oct 11, 2023
coq-stdpp-1.8.0
6e560df6
·
set release date
·
Aug 17, 2022
coq-stdpp-1.7.0
ebfb79dd
·
Merge branch 'release-notes-1.7.0' into 'master'
·
Jan 22, 2022
coq-stdpp-1.6.0
4922a992
·
finalize release
·
Nov 05, 2021
coq-stdpp-1.5.0
13df6821
·
also mention release managers
·
Feb 15, 2021
coq-stdpp-1.4.0
5c3c460e
·
Merge branch 'master' of
https://gitlab.mpi-sws.org/iris/stdpp
·
Jul 15, 2020
coq-stdpp-1.3.0
e61c2104
·
Merge branch 'robbert/changelog' into 'master'
·
Mar 18, 2020
coq-stdpp-1.2.1
75435486
·
release 1.2.1
·
Aug 29, 2019
coq-stdpp-1.2.0
10bc4e2a
·
release version 1.2.0
·
Apr 26, 2019
coq-stdpp-1.1.0
0dbc1f4a
·
mention required opam version
·
Dec 18, 2017
coq-stdpp-1.0.0
92bb54a9
·
edit opam file
·
Feb 13, 2017