search

coq / platform

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

Opam: coq-metacoq-template: add back the 'rm _PluginProject' fix #424

Closed MSoegtropIMC closed 4 months ago

MSoegtropIMC commented 4 months ago

As discussed in Zulip both the patch and the rm are needed for stable builds.