Skip to content
GitLab
Explore
Sign in
stdpp
CHANGELOG.md
Find file
Blame
Permalink
Jul 02, 2020
852e6fa7
drop support for Coq 8.7
· 852e6fa7
Ralf Jung
authored
Jul 02, 2020
852e6fa7
drop support for Coq 8.7
Ralf Jung
authored
Jul 02, 2020
To find the state of this project's repository at the time of any of these versions, check out
the tags
.
Loading