search

coq / platform

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

Windows: enable long path support in cygwin MinGW toolchain and Windows registry #428

Closed MSoegtropIMC closed 2 months ago

MSoegtropIMC commented 2 months ago

should permanently fix coq-serapi issues