Skip to content

drop support for Coq 8.11

Ralf Jung requested to merge ralf/drop-8.11 into master

This lets us make progress in !376 (merged).

Merge request reports