From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:53394) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hj2AZ-0000ry-AU for guix-patches@gnu.org; Thu, 04 Jul 2019 09:53:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hj2AY-0003T6-9u for guix-patches@gnu.org; Thu, 04 Jul 2019 09:53:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:41777) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hj2AY-0003ST-6i for guix-patches@gnu.org; Thu, 04 Jul 2019 09:53:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hj2AX-0004NS-VU for guix-patches@gnu.org; Thu, 04 Jul 2019 09:53:02 -0400 Subject: [bug#36393] [PATCH] gnu: Add sbcl-dexador. Resent-Message-ID: From: Pierre Neidhardt In-Reply-To: <87v9wkevf9.fsf@yamatai> References: <87v9wkevf9.fsf@yamatai> Date: Thu, 04 Jul 2019 15:52:42 +0200 Message-ID: <87pnmpuct1.fsf@ambrevar.xyz> 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: Guillaume LE VAILLANT Cc: 36393@debbugs.gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable It did fix it indeed, thanks for the tip! =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl0eBKoACgkQm9z0l6S7 zH/5YggApCupqDqJ2lQUyOMTp5h9GGLneWOvjaGV01IxxdRkXpNO10PdutXfR6rk ojzBpAhLXxWcxPvYYn+FmXky8OzMJ6/CGEofx9X2np8yln6wrEm2GupGfV9dr+YV 7GFMu1G+6jcfqt3J+ljY2qvQIJxKn4LiJHz9ooUJv28YuyC8lsRseZ2MDyvizqkN nZlCyOTnSgIAKSWkoSPpHl8R5OmsTQIwQxUQNZmwbzG7pvq9qzIQsyMkdIi3crW5 GVI8LeXLQAHt76WxKpl5nf/PNLliytjJlAvn2M4jkjl6UgqZT7RXqY82RXWjkatz 94N/va6QKuCC0QLv0EG7qzWEnXSKlg== =yyEI -----END PGP SIGNATURE----- --=-=-=--