Skip to content

drop support for Coq 8.10

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

The successor, Coq 8.11, has been released in Jan 2020, almost 2 years ago. I think it is fine for us to drop earlier versions of Coq. Iris has also dropped support for 8.10 quite a while ago already.

This will also let us use https://github.com/coq/coq/issues/7910, which should help make telescopes more ergonomic (see iris!762 (merged)).

Edited by Ralf Jung

Merge request reports