Skip to content

drop support for Coq 8.16, 8.17

Ralf Jung requested to merge ralf/old-coq into master

With Coq 8.19 released, we are only promising to support 8.18 and 8.19, so we can drop the older ones. This is needed to unblock stdpp!537 (merged).

Merge request reports