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

[Brett Gilio]

Brett Gilio <address@hidden> writes:

> ---
>  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")
>      (source
>       (origin
>         (method url-fetch)
> @@ -40,7 +40,7 @@
>               version ".tar.gz"))
>         (sha256
>          (base32
> -         "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp"))))
> +         "07wvawpfjhx3gw2w53v27ncv1bl0kkx08wkm6wzxldbslkcasign"))))
>      (build-system haskell-build-system)
>      (inputs
>       `(("cpphs" ,cpphs)

This is a historical bug report and is no longer relevant. It can be
closed.

-- 
Brett M. Gilio
https://git.sr.ht/~brettgilio/