Re: Packaging Coq

guix-devel

> Should these arguments not be a double -- ??

No.

pgpVQ5M1rdul4.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 <=
- Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
  - Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
- Re: Packaging Coq, Mark H Weaver, 2014/12/05