search

LPCIC / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
139 stars 51 forks source link

adapt to coq/coq#19358 #668

Closed gares closed 1 month ago

gares commented 4 months ago

requires dropping 8.19

ppedrot commented 1 month ago

Please merge now.