Skip to content
Snippets Groups Projects

drop support for Coq 8.10

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