Skip to content
GitLab
Explore
Sign in
Herman Bergwerf
stdpp
Repository
stdpp
README.md
Find file
Blame
History
Permalink
Stop mentioning Coq bug fixed in Coq >= 8.13
· f1d8b960
Paolo G. Giarrusso
authored
Dec 19, 2022
This bug was eventually tracked in
https://github.com/coq/coq/issues/6042
and fixed in Coq 8.13.
f1d8b960