adapt to coq/coq#19300 - Githubissues

LPCIC / coq-elpi

Coq plugin embedding elpi

GNU Lesser General Public License v2.1

139 stars 51 forks source link

Closed gares closed 4 months ago

SkySkimmer commented 4 months ago

Please merge now

gares commented 4 months ago

@SkySkimmer are you still unable to merge?

SkySkimmer commented 4 months ago

yes