Windows package fixes - Githubissues

coq / platform

Multi platform setup for Coq, Coq libraries and tools

Creative Commons Zero v1.0 Universal

188 stars 49 forks source link

Closed MSoegtropIMC closed 2 months ago

MSoegtropIMC commented 2 months ago

Note: the fix for coq-quickchick is only partial, but an improvement.