[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
From: |
Ludovic Courtès |
Subject: |
[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 |
Date: |
Sat, 24 Nov 2018 22:30:44 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hello Brett,
Brett Gilio <address@hidden> 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-hashable-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.Hashable
differs from name found in the interface file hashable-1.2.7.0:Data.Hashable
(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’.