Skip to content

drop support for Coq 8.15

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