From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:42441) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hiLAU-0005Or-DY for guix-patches@gnu.org; Tue, 02 Jul 2019 11:58:10 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hiLAR-0005Ee-5K for guix-patches@gnu.org; Tue, 02 Jul 2019 11:58:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:38900) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hiLAQ-0005EG-La for guix-patches@gnu.org; Tue, 02 Jul 2019 11:58:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hiLAQ-0000Sr-IN for guix-patches@gnu.org; Tue, 02 Jul 2019 11:58:02 -0400 Subject: bug#36126: [PATCH] Add ghc-validation. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: Date: Tue, 02 Jul 2019 17:57:05 +0200 In-Reply-To: (Jacob MacDonald's message of "Fri, 7 Jun 2019 06:51:52 -0500") Message-ID: <87imsk5t0u.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: Jacob MacDonald Cc: 36126-done@debbugs.gnu.org Hello Jacob, Jacob MacDonald skribis: > The version bump pushes guix refresh over the 300-package line. Given > that and the fact that there are dependencies on older versions in the > tree, would it be better to give the newer version a special name > instead, or did I make the correct choice here? I think you did it right. :-) > Guix packages are a new foray for me, so I imagine something will be > wrong. Did my best to split into proper dependency order though, and > ready to touch up. I applied all 7 patches to =E2=80=98master=E2=80=99 (I added a copyright li= ne for you). It=E2=80=99s above the 300-package line as you write, but these packages bu= ild fairly quickly, so I think it=E2=80=99s OK. Thanks for the patch set, and apologies for the delay! Ludo=E2=80=99.