Skip to content

drop support for Coq 8.15

Ralf Jungrequested 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