From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nikita Karetnikov Subject: Re: Packaging Coq Date: Thu, 04 Dec 2014 14:26:43 +0400 Message-ID: <87k3273e3g.fsf@karetnikov.org> References: <87ppc0447w.fsf@karetnikov.org> <87tx1b3fta.fsf@karetnikov.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha1; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47300) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwUYv-0008D2-EZ for guix-devel@gnu.org; Thu, 04 Dec 2014 06:27:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XwUYu-0000Ez-NO for guix-devel@gnu.org; Thu, 04 Dec 2014 06:27:09 -0500 Received: from [2a01:7e00::f03c:91ff:fedf:181] (port=51871 helo=cooksoni.karetnikov.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwUYu-0000En-I7 for guix-devel@gnu.org; Thu, 04 Dec 2014 06:27:08 -0500 In-Reply-To: <87tx1b3fta.fsf@karetnikov.org> (Nikita Karetnikov's message of "Thu, 04 Dec 2014 13:49:37 +0400") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org --==-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable I haven=E2=80=99t done the obvious thing=E2=80=A6 The package in Nixpkgs d= oes more things, so I=E2=80=99ll try to change my recipe accordingly. --==-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBAgAGBQJUgDbnAAoJEM+IQzI9IQ38bsUP/jtMRBxB8GyktFSBElNCeldG wUh4D2v2D1R7CelE31A2dCMCjNlKKgy9B81Ngt5+VeTWL16yPjzOCcIbR0yQrBiw bbB/KNazhYsUc7HVQ5ssvO0YU+nP8XvvJ22Udu5dnz9egIht/eLqOnriNxykIcRq EEBO/drRXEktf7YaMKTUUBB5HpvIF56hlyfw/4UJlgW3mb261tdH6GjprPMZBXeH jSMj402CFe+NhgKCH2pm/SbXNcrlcoWI56qg927Ha+p3vw6hwX31N7Tpn3/FLGiL q5BMXl0HeHxQHSjK5n7J9ixMDpHOM+ePW+Sfhd/xtEjf3podODXiklw50sjNhj1e miCZ7kRrzDYVnHbBqg9x4IDgaVBP+faLjibl9nqW4cSHX0IoEnKWhEQczuiXK1RT 5bZIR7nZUOcZ6wJw94MMSFXPpIKgRjZriDfHxWITZee8PIvGvBxSdjTtMzUwgPqg K41OC4oYYQy9x4JMZ/ezHTQ+DfTSihX3QHv/BKralSaJxYufVA8+l0pWQsO7UJZe GVOaBcwVfDr94vAggLv5qJiGCpFuqBLlwQq5200QecM2pQ57Pd96vOrITIaq99GF 2efYr8gCJqmejXgW2W/V+r2NAJ7XNo/LYgTGctof6Q2LAnZTfjnvbFvhRJx2gLgs i6BNMfIOJkLuEoa/19fk =9rp3 -----END PGP SIGNATURE----- --==-=-=--