[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Packaging Coq
|
From: |
Nikita Karetnikov |
|
Subject: |
Re: Packaging Coq |
|
Date: |
Thu, 04 Dec 2014 14:26:43 +0400 |
I haven’t done the obvious thing… The package in Nixpkgs does more
things, so I’ll try to change my recipe accordingly.
pgpiLYg911Osg.pgp
Description: PGP signature
- Re: Packaging Coq, (continued)
Re: Packaging Coq, John Darrington, 2014/12/04
Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
- Re: Packaging Coq,
Nikita Karetnikov <=
Re: Packaging Coq, Mark H Weaver, 2014/12/05