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

[ludo@gnu.org (Ludovic Courtès)]

Hello Brett,

Brett Gilio <brettg@posteo.net> 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’.