From mboxrd@z Thu Jan  1 00:00:00 1970
From: Nikita Karetnikov <nikita@karetnikov.org>
Subject: Re: Packaging Coq
Date: Thu, 04 Dec 2014 13:46:06 +0400
Message-ID: <871tof4ujl.fsf@karetnikov.org>
References: <87ppc0447w.fsf@karetnikov.org>
	<20141204103456.GA3042@jocasta.intra>
Mime-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha1; protocol="application/pgp-signature"
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39474)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <nikita@karetnikov.org>) id 1XwTvf-0004DF-He
	for guix-devel@gnu.org; Thu, 04 Dec 2014 05:46:36 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <nikita@karetnikov.org>) id 1XwTve-0003NH-L0
	for guix-devel@gnu.org; Thu, 04 Dec 2014 05:46:35 -0500
Received: from [2a01:7e00::f03c:91ff:fedf:181] (port=51868
	helo=cooksoni.karetnikov.org) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <nikita@karetnikov.org>) id 1XwTve-0003Mb-EN
	for guix-devel@gnu.org; Thu, 04 Dec 2014 05:46:34 -0500
In-Reply-To: <20141204103456.GA3042@jocasta.intra> (John Darrington's message
	of "Thu, 4 Dec 2014 11:34:56 +0100")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=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: John Darrington <john@darrington.wattle.id.au>
Cc: guix-devel@gnu.org

--=-=-=

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

No.

--=-=-=
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBAgAGBQJUgC1jAAoJEM+IQzI9IQ38ZAMP/2HTT0uGJPk5AA+vaD82+GJT
7rb8uY+G2kP69NTb6sHy9mP1WEmFazM9gnOJk2/KfAHkxynFnJJO7Zgbz17oCnVD
gtE2n+Y+IAasqPIu6l4ALc9vfbYQeiH7cZbJ+LH2pZFo7UbApRB4WsH6FNCGYH7T
DxLWvTey4UYAXm10VHsQBfHmCtZjgSH5iPA/Es50G70W+XFTCm0ZeN6YVHAdHIXX
DawZKc81xd+OVgbDz4iZKwkwit8ylUjnW/xPNpsVL0+q9+DCLnIZBMRG7iDUkmbu
Ih+J+nHyCn5razUIKntfVSbHZkbZ46GlCkkVmHlwb7QhcjvrYIcRSgNppHf2jjQU
2XU4JVLKJpJ1IzNQR6muEmzvKkcHIivgfvvr3vQ3wJ8I4UA89HEm6tiO2/baNJBG
s6sa0m4BC6B+nr6O2M3y5rk1TkKz/IyYu4sW97idMgenTbH/8nn4FMRRDomy1A7k
pMTnJfQ3ZYGPYRWCVfNAVso1CV0x8FU0fB8Cop7B+7fTaPc+0DC0WgUqKv3xY7N7
2o6l7cxRkxgL81rpW4nE1tV1hKAVsA7gEHvpki6D92j3CKF5+ymaKIMU2xcIbQ6m
fvtKgkzGwU3qbSfM0mTxFD1W/D7oXjmf7AMP2AHhJj0ItTq+HSW658xjtSSR6Sc6
LemFZtvpHdQ+LsdiF7hN
=FjHe
-----END PGP SIGNATURE-----
--=-=-=--