[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Brett Gilio]

Ludovic Courtès writes:

> 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’.

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