Skip to content

Drop support for Coq 8.14.

Robbert Krebbers requested to merge robbert/drop_coq814 into master

Coq 8.17 has been released,

In !440 (merged) we decided to support minimal 3 stable Coq versions, so that's 8.17, 8.16, and 8.15.

This means we can finally merge !437 (closed).

TODO (for @jung): The CI file still means, that probably should be turned into the stable 8.17 release and we should add instead.

Merge request reports