Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
stdpp
Repository
stdpp
README.md
Find file
Blame
History
Permalink
Drop support for Coq 8.6.
· 5f134375
Robbert Krebbers
authored
Nov 08, 2018
MR #41 relies on
https://github.com/coq/coq/issues/5039
, which has not been fixed in Coq 8.6.
5f134375