Re: Packaging Coq

guix-devel

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.

pgp03uazw1N1K.pgp
Description: PGP signature

Current Thread

[Next in Thread]

Packaging Coq, Nikita Karetnikov, 2014/12/03
- Re: Packaging Coq, Andreas Enge, 2014/12/04
  - Re: Packaging Coq, Ludovic Courtès, 2014/12/04
  - Re: Packaging Coq, Mark H Weaver, 2014/12/04
    - Re: Packaging Coq, Andreas Enge, 2014/12/05
    - Re: Packaging Coq, Mark H Weaver, 2014/12/05
    - Re: Packaging Coq, Andreas Enge, 2014/12/05
    - Re: Packaging Coq, Ludovic Courtès, 2014/12/06
- Re: Packaging Coq, John Darrington, 2014/12/04
  - Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
- Re: Packaging Coq, Nikita Karetnikov <=
  - Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
- Re: Packaging Coq, Mark H Weaver, 2014/12/05