search

coq / platform

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

Opam: add windows patch to new lablgtk3.3.1.4 #398

Closed MSoegtropIMC closed 8 months ago