Re: Packaging Coq

[Nikita Karetnikov]

I haven’t done the obvious thing…  The package in Nixpkgs does more
things, so I’ll try to change my recipe accordingly.

pgp4000r6YKBh.pgp
Description: PGP signature