Skip to content
GitLab

drop support for Coq 8.15

Merged Ralf Jung requested to merge ralf/drop-8.15 into master

After this landed we should finally be able to make use of https://github.com/coq/coq/pull/13969. :)

Merge request reports