Re: Packaging Coq

[Nikita Karetnikov]

Since people are commenting only on the recipe, I guess I need to
clarify that I’d like to know why it fails to build.

pgpVm4hxBpXvG.pgp
Description: PGP signature