From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: Re: Missing substitutes and TIMEOUT property (Racket, MAME) Date: Mon, 02 Mar 2020 12:50:37 +0100 Message-ID: <874kv72cxe.fsf@ambrevar.xyz> References: <878sl0q6wk.fsf@ambrevar.xyz> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:38236) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1j8jas-0006F3-Sk for guix-devel@gnu.org; Mon, 02 Mar 2020 06:50:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1j8jar-00070Y-Kg for guix-devel@gnu.org; Mon, 02 Mar 2020 06:50:42 -0500 Received: from relay6-d.mail.gandi.net ([217.70.183.198]:39137) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1j8jar-0006xd-EN for guix-devel@gnu.org; Mon, 02 Mar 2020 06:50:41 -0500 Received: from bababa (lfbn-idf2-1-1315-147.w92-169.abo.wanadoo.fr [92.169.129.147]) (Authenticated sender: mail@ambrevar.xyz) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 0B44FC0004 for ; Mon, 2 Mar 2020 11:50:37 +0000 (UTC) In-Reply-To: <878sl0q6wk.fsf@ambrevar.xyz> 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-mx.org@gnu.org Sender: "Guix-devel" To: guix-devel@gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Friendly ping! :) =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl5c8w0ACgkQm9z0l6S7 zH/X0AgAnUJH4eg49KGQb2PtBVk5Qz5iQfgEKobxf8ku8M1QBZKvEpEnNvUc0In1 eSrmZwlpmJ/KOgUXUnjeazyi7BSAr7rokIV8ZuaxzAtW2lpZ3tyaIpdLAg/xIdK7 SVzZNYdULG4aqEsxR4qNGZQjX0qjqCx0/+QGWxdlIVJ3Fol1JswESvZP9cftSkbh 22482edDhX2HG1ljJPZ9kPosaDA88daHQaAs+jE2fWutbBEl6PZHBx+mZ5yDClJk xUZ2lATxItghoZzzaNV6FNh+INvi2qXYQEahFisuN66BS9IB4Z0xGGZdELVbtZXG glYbmPyI68PJDSmAkvQkXGbsa6BdZQ== =rkCE -----END PGP SIGNATURE----- --=-=-=--