Add Coq bound `< 8.21~` for coq-elpi.2.2.0

coq / opam

Archive for all Coq related OPAM packages organized in various repositories

https://coq.inria.fr/opam/www/

GNU Lesser General Public License v2.1

121 stars 162 forks source link

Closed SkySkimmer closed 2 months ago

SkySkimmer commented 2 months ago

cc @gares is it correct that coq-elpi 2.2.0 is compatible with coq 8.20 or should the bound be stricter?

SkySkimmer commented 2 months ago

Let's merge so that coq benches will stop picking the wrong version, we can make it stricter later if needed

gares commented 2 months ago

it is correct