From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:41401) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jFM6p-0003Fo-0I for guix-patches@gnu.org; Fri, 20 Mar 2020 14:11:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jFM6o-0003Id-3X for guix-patches@gnu.org; Fri, 20 Mar 2020 14:11:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39606) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jFM6n-0003IT-Vf for guix-patches@gnu.org; Fri, 20 Mar 2020 14:11:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jFM6n-0003CI-RG for guix-patches@gnu.org; Fri, 20 Mar 2020 14:11:01 -0400 Subject: bug#40066: [PATCH] gnu: add premake5. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Marius Bakke In-Reply-To: <20200315005236.3031-1-leo.prikler@student.tugraz.at> References: <20200315005236.3031-1-leo.prikler@student.tugraz.at> Date: Fri, 20 Mar 2020 19:10:35 +0100 Message-ID: <871rpm99t0.fsf@devup.no> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; 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: Leo Prikler , 40066-done@debbugs.gnu.org --=-=-= Content-Type: text/plain Leo Prikler writes: > * gnu/packages/build-tools.scm (premake5): New variable. Applied, thanks! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAl51BxsACgkQoqBt8qM6 VPoTmQf/ffy4BCLW7/Zxw4imcHXDFd8I2kF9Jc69j7/BrGO6jbE5z1H4aOK0CQXi KZloe1cJJPgl4TTN55N8fD78Hg62T7kY89KmWSzzw1PRTilTLz1F3zvFppTROLgL v4M2Sbvj+4JVQneNHsU93b0L73ZniKTZgI8xWq5UNvW1RwPEj8CQtO2atT8CqSpG /7M2CoQh+ITRNQX2tnydPUZ3jVqS4wGwJyCiFTBmFtN3CZZlkmFMKq1Sc29wHTV3 g7hU7Cf5RvStCRs+iYDnxkympTyTSY2p9qz4AfW5YewN/DuVtfh077tpMw2ULKly oUECvJpH6XxkubCH75F80B5amNjfVA== =Gn05 -----END PGP SIGNATURE----- --=-=-=--