From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:53410) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hN07k-0004hx-Ui for guix-patches@gnu.org; Sat, 04 May 2019 15:15:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hN07k-0002n0-4m for guix-patches@gnu.org; Sat, 04 May 2019 15:15:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:38754) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hN07k-0002mu-1R for guix-patches@gnu.org; Sat, 04 May 2019 15:15:04 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hN07j-0008PV-OO for guix-patches@gnu.org; Sat, 04 May 2019 15:15:03 -0400 Subject: bug#34361: closing lambdapi References: <87lg2sf6az.fsf@gmail.com> In-Reply-To: <87lg2sf6az.fsf@gmail.com> Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Gabriel Hondet Date: Sat, 04 May 2019 21:14:31 +0200 Message-ID: <87r29exca0.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; 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: 34361-done@debbugs.gnu.org --=-=-= Content-Type: text/plain Sorry for the delay regarding this package, I missed an email. Anyway, this software is still in development so I prefer not to add it. Gabriel --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzN5JcACgkQMbyBBfZZ 1CUqtBAAh78NUX/biukvMmflZDACqyShkQ4jr+qTzBMPk4TIH3B+L2e4LFjYGchg DO9ESTNgbLp8mDmILPH/0/hbWUfO1q1MDyHiUT5zDijGjybbASI/tDQXtJQyIvpY 9D+Ra3/O7fwen+bdOYQcfhQny/Dy3oV3wYjibYpokhttyzEhQxIQ6nVUB1uFm+Vw cQSVPki5eUn9oo8vh05mS/XqI2/fqoBwkwwD36KWHDGvP1dxJkhn8941KpPWjeCY Jndx6thOn5ybVWcdTPvVX5ZLxxo7ajuV1GRzeH7u1uTnuboQlkpyzjekDusNPekB x8oF4cDC3qfrjA/+XXYN1T9hMcEKUjF4OQZIiomCkiPbl1HR90Rw0729r9rfqVFK mAp43KJrLua4QGpP32ihkehi0GEgVQ1tOBshOyYcWusn4Bfn8hVL7u2RCrfOHMF0 4Q+rfauzOjS/oSr8d0ktgzJzzAR1Qlv0Lq1Gmm3eaORvKh8WyguRYtHMgWQA0jAM js1hTwzkgu57fYvrnwJRG7eUXta1NdvvyZ3BwjhvuRk1PJ1snPS2i5ueH05yJcnh G2yLdGPZPNGGsak/Ig2MnrHWulSFV/2xTLPA6naIIPtoDrMU2V6Nt9goF73ZOWfw 5Uus6vutVBLwAZhSBY/iXfHeY4NCR3/TkpejcTscU/Aa0IWuV4E= =uuJJ -----END PGP SIGNATURE----- --=-=-=--