From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nikita Karetnikov Subject: Re: Packaging Coq Date: Thu, 04 Dec 2014 13:49:37 +0400 Message-ID: <87tx1b3fta.fsf@karetnikov.org> References: <87ppc0447w.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]:39977) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwTz4-0004Wh-51 for guix-devel@gnu.org; Thu, 04 Dec 2014 05:50:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XwTz3-0004Yr-9i for guix-devel@gnu.org; Thu, 04 Dec 2014 05:50:06 -0500 Received: from [2a01:7e00::f03c:91ff:fedf:181] (port=51870 helo=cooksoni.karetnikov.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwTz3-0004Xu-4N for guix-devel@gnu.org; Thu, 04 Dec 2014 05:50:05 -0500 In-Reply-To: <87ppc0447w.fsf@karetnikov.org> (Nikita Karetnikov's message of "Thu, 04 Dec 2014 05:02:27 +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 Since people are commenting only on the recipe, I guess I need to clarify that I=E2=80=99d like to know why it fails to build. --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBAgAGBQJUgC42AAoJEM+IQzI9IQ38i0AP/3WNTZiAyoq66s0Cbf82YnMJ +asUcLzx3KSq798mW2sWUbjoLM4hAjh528TLSn7MFFO3WwEkfrwP9CmAq+wPNdPf q+fJX9iJkJH6P/NKAGTCNbskTstZQ+aeTRqZofDRz2RJ36I0Fe1n9I7xs/K9KaFC ZJswRUx8fkrYhKwbVszLXxRU5wmlXLaGYCDqH9ZnjkeaJMJHLFalUJxvvdnIy4Jz wikIqGh3FUobIZBtbXgELQGPVJb+X2vP1WWdCXKVfgUn7rixFexz4aDFqlbfQ3qt W5mPuwThn3XIh3wgk4666mypOz8ASEWULpXa01DDUr5m29fzviNt+2eM6/iZ/BT4 L4XTdvaG0Q/sx3Zo92+lFBZM180Js2HWfBRRzGCnHR9w2edLivsAFjoKeBhzfEJO ouyDh0bpa/7HwzdKX6kFKWFO/Qd2Xg1TddYzqRJxby05etlqtea5uEmZBCN6ko3k qqqrg2Ge1g2TkChUs6TIWDAX71sQsqbeNUejJBB4x+XMaLi52SktnwKHmsB8MqMi TELjMGW3ERid57o9Sfcw4q05Y2uYNw50zN3IOJ1oU8sPY5rE8EQtCNR9d82OKv60 wFU86taJf+SzGEbAZGSWBKRUq8/WPNJLWpXe/+KlJlgL75LsGtXcpwalaiLuWb30 b9jD5MViGtPzl8M2svXr =wytc -----END PGP SIGNATURE----- --=-=-=--