From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:39540) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iTD2z-0001IK-5u for guix-patches@gnu.org; Fri, 08 Nov 2019 17:48:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iTD2w-0002cl-OC for guix-patches@gnu.org; Fri, 08 Nov 2019 17:48:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:39073) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iTD2w-0002cb-L1 for guix-patches@gnu.org; Fri, 08 Nov 2019 17:48:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iTD2w-0007Qx-Eo for guix-patches@gnu.org; Fri, 08 Nov 2019 17:48:02 -0500 Subject: [bug#38110] [PATCH v2 1/2] gnu: mrustc: Update to 0.9. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20191107223000.20242-1-dannym@scratchpost.org> <20191108024659.10138-1-dannym@scratchpost.org> <20191108024659.10138-2-dannym@scratchpost.org> Date: Fri, 08 Nov 2019 23:47:08 +0100 In-Reply-To: <20191108024659.10138-2-dannym@scratchpost.org> (Danny Milosavljevic's message of "Fri, 8 Nov 2019 03:46:58 +0100") Message-ID: <87o8xmc7f7.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: Danny Milosavljevic Cc: 38110@debbugs.gnu.org Hi! Danny Milosavljevic skribis: > * gnu/packages/patches/mrustc-0.8.0-fix-variable-length-integer-receiving= .patch: Delete file. > * gnu/local.mk (dist_patch_DATA): Remove it. > * gnu/packages/rust.scm (mrustc): Update to 0.9. > [source](patches): Remove it. > [arguments]<#:phases>[build-minicargo]: Modify. LGTM! But note that this cannot go to =E2=80=98master=E2=80=99 yet because= IceCat depends on it. So I think we should discuss on guix-devel when and where to land these patches; perhaps the next =E2=80=98staging=E2=80=99 bra= nch? Thanks, Ludo=E2=80=99.