From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47231) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gQfjd-0005rl-JO for guix-patches@gnu.org; Sat, 24 Nov 2018 16:45:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gQfja-0005je-D9 for guix-patches@gnu.org; Sat, 24 Nov 2018 16:45:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:41626) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gQfja-0005iu-9d for guix-patches@gnu.org; Sat, 24 Nov 2018 16:45:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gQfja-0004M8-51 for guix-patches@gnu.org; Sat, 24 Nov 2018 16:45:02 -0500 Subject: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Resent-Message-ID: References: <20181124042450.8500-1-brettg@posteo.net> <87bm6eyxh7.fsf@gnu.org> From: Brett Gilio In-reply-to: <87bm6eyxh7.fsf@gnu.org> Date: Sat, 24 Nov 2018 15:44:19 -0600 Message-ID: <8736rqjglo.fsf@posteo.net> 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: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 33478@debbugs.gnu.org Ludovic Court=C3=A8s writes: > 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, di= st/build/Agda/Utils/Memo.o ) > > src/full/Agda/Utils/Memo.hs:10:1: error: > Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-h= ashable-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.Hasha= ble differs from name found in the interface file hashable-1.2.7.0:Data.Has= hable (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. Sure, I am running it through 20 rounds right now. I will also check for the Data.Hashable dependencies and see what is going on. Will report back soon. Brett Gilio