search

coq / platform

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

Fix #439 MacOS: coqide is complied with wrong deployment target #440

Closed MSoegtropIMC closed 1 month ago