From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43380) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gQfW5-0001LG-M0 for guix-patches@gnu.org; Sat, 24 Nov 2018 16:31:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gQfW3-0007Uj-Qf for guix-patches@gnu.org; Sat, 24 Nov 2018 16:31:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:41592) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gQfW2-0007TU-OK for guix-patches@gnu.org; Sat, 24 Nov 2018 16:31:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gQfW2-0003zl-H3 for guix-patches@gnu.org; Sat, 24 Nov 2018 16:31:02 -0500 Subject: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <20181124042450.8500-1-brettg@posteo.net> Date: Sat, 24 Nov 2018 22:30:44 +0100 In-Reply-To: <20181124042450.8500-1-brettg@posteo.net> (Brett Gilio's message of "Fri, 23 Nov 2018 22:24:50 -0600") Message-ID: <87bm6eyxh7.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: Brett Gilio Cc: 33478@debbugs.gnu.org Hello Brett, Brett Gilio skribis: > --- > gnu/packages/agda.scm | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm > index 6bb38aac4..be82ff9ec 100644 > --- a/gnu/packages/agda.scm > +++ b/gnu/packages/agda.scm > @@ -31,7 +31,7 @@ > (define-public agda > (package > (name "agda") > - (version "2.5.4.1") > + (version "2.5.4.2") It fails to build here: --8<---------------cut here---------------start------------->8--- [ 37 of 339] Compiling Agda.Utils.Memo ( src/full/Agda/Utils/Memo.hs, dist= /build/Agda/Utils/Memo.o ) src/full/Agda/Utils/Memo.hs:10:1: error: Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-has= hable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi Something is amiss; requested module hashable-1.2.7.0:Data.Hashabl= e differs from name found in the interface file hashable-1.2.7.0:Data.Hasha= ble (if these names look the same, try again with -dppr-debug) | 10 | import Data.Hashable | ^^^^^^^^^^^^^^^^^^^^ --8<---------------cut here---------------end--------------->8--- Could you take a look? Thanks, Ludo=E2=80=99.