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

[GNU bug Tracking System]

Your message dated Thu, 5 Dec 2019 10:34:41 +0200
with message-id <20191205083441.GM15280@E5400>
and subject line Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
has caused the debbugs.gnu.org bug report #33478,
regarding [PATCH] gnu: agda: Upgrade to 2.5.4.2
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
33478: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33478
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: agda: Upgrade to 2.5.4.2
>
>
>
>
> Date: 
>
> Fri, 23 Nov 2018 22:24:50 -0600
>
>
>
>
> ---
>  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)
> -- 
> 2.19.2
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Date: Thu, 5 Dec 2019 10:34:41 +0200 User-agent: Mutt/1.12.2 (2019-09-21)

On Wed, Dec 04, 2019 at 06:39:32PM -0600, Brett Gilio wrote:
> 
> This is a historical bug report and is no longer relevant. It can be
> closed.
> 

The easiest way to do this is to send an email to
address@hidden and that will close the bug.

-- 
Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---