search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

Patching latest lablgtk version #416

Closed rtetley closed 4 months ago

MSoegtropIMC commented 4 months ago

@rtetley : FYI: required changes have been merged upstream in lablgtk, so no patch to lablgtk is required any more. Instead a patch of coqide is required. This should all be fine.

rtetley commented 4 months ago

Noted ! I'll close this then