From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: Re: [PATCH] gnu: mpv: Use lua@5.2. Date: Mon, 14 Nov 2016 09:06:06 +0000 Message-ID: <87h97atoqp.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> References: <20161113220949.538f81a6@uwaterloo.ca> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53104) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1c6DDT-0002bR-2d for guix-devel@gnu.org; Mon, 14 Nov 2016 04:06:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1c6DDP-0004dC-Uo for guix-devel@gnu.org; Mon, 14 Nov 2016 04:06:15 -0500 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:43659) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1c6DDP-0004cg-Qj for guix-devel@gnu.org; Mon, 14 Nov 2016 04:06:11 -0500 In-Reply-To: <20161113220949.538f81a6@uwaterloo.ca> 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.org@gnu.org Sender: "Guix-devel" To: Andy Patterson , guix-devel@gnu.org --=-=-= Content-Type: text/plain Andy Patterson writes: > Hi, > > This patch re-enables lua support in mpv. After reading > waftools/checks/custom.py in the distribution, I came to the conclusion > that lua > 5.2 isn't supported, so I think this is the right approach. Thanks for catching this, applied! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEcBAEBCgAGBQJYKX5+AAoJEKKgbfKjOlT619cIANR/+0MoC16q4rf4aZsF0m2j nh/yhaHOnA23amL5Z+6qwmOWhTe0jDSlOUhO37bvSPiUPWnmLea964OIFDSV0Aq1 QIk6IpzhBv3z3VF+Yt2jFiO4b1vlwIBwQyugxAXH8y8iwLSqR/25YAcMIHZHmXLz z+bKG8lAc1klBNIV2hEpkFkOKgIAm4UlqZStFHWoTwfoWMcwWKlAQK02oBVOCDhy nz+UCV/nPgSrqmDaOER4Hj07oN+1UBJSmbRNvIj2p1TrRWjFycniWUqNffLPW5pc cn0bZEZkuvlubq4qwlbijY1TActIncPM1BHfu3l7C4TbaynBTr4CPRzYeNhfzB0= =4XdW -----END PGP SIGNATURE----- --=-=-=--