From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45387) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1evq3e-0006Ir-NB for guix-patches@gnu.org; Tue, 13 Mar 2018 15:58:03 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1evq3e-00070E-0h for guix-patches@gnu.org; Tue, 13 Mar 2018 15:58:02 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52002) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1evq3d-0006zz-Tp for guix-patches@gnu.org; Tue, 13 Mar 2018 15:58:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1evq3d-0003VV-J0 for guix-patches@gnu.org; Tue, 13 Mar 2018 15:58:01 -0400 Subject: [bug#30739] [PATCH 1/3] gnu: Add python2-langkit. Resent-Message-ID: Date: Tue, 13 Mar 2018 20:57:43 +0100 From: Danny Milosavljevic Message-ID: <20180313205743.16542bf3@scratchpost.org> In-Reply-To: <87y3ixnz2b.fsf@gnu.org> References: <20180307002657.31473-1-dannym@scratchpost.org> <20180307010545.31530-1-dannym@scratchpost.org> <87y3ixnz2b.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/NE/Gn4+BfN3Qxb=E9B6LNXV"; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 30739@debbugs.gnu.org --Sig_/NE/Gn4+BfN3Qxb=E9B6LNXV Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On Mon, 12 Mar 2018 15:33:32 +0100 ludo@gnu.org (Ludovic Court=C3=A8s) wrote: > Reminds me of one of these discussions we had while wandering in > Brussels. :-) Hehe yep :D > Should it be simply ada.scm, given that =E2=80=9CAdaCore=E2=80=9D is the = name of the > company? Sure. I've applied this one to master. --Sig_/NE/Gn4+BfN3Qxb=E9B6LNXV Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlqoLTcACgkQ5xo1VCww uqVm5gf+LvufOzWHhwPnTlQpopjBj3C8I4DLwQOcPDIAJjTmVUC0G2z9jA7luGcg ie0YBpccErTdSApTlGz7LthE/g/gCuy+IAH9OrzOcQ7K0efMe7gQSkmUVjVRumHT 6StzW+B/k0oSw3NQt2W2KxeUaptXWBuncLnzE90VjCbgk9Jqui+X7YR20wKu7PCP khSMWCcQY+XvIk7XFZCtt5l1kmB6nGhyccxdiOaot6Fctw+uUhR3z67vXEeUY8e7 W7fbf6j3vZ7dIACuMoFIkojfZ4w81zSpj0lHYqYaZPPIMhyT4xnwk+7O54ehijZS atzGlHKRBP1bL4SySdSknZJo2rYIVQ== =+54q -----END PGP SIGNATURE----- --Sig_/NE/Gn4+BfN3Qxb=E9B6LNXV--