From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:35450)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1icfBd-0007A2-Hu
 for guix-patches@gnu.org; Wed, 04 Dec 2019 19:40:06 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1icfBa-0002Ix-Fh
 for guix-patches@gnu.org; Wed, 04 Dec 2019 19:40:04 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:36830)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1icfBZ-0002Hn-V5
 for guix-patches@gnu.org; Wed, 04 Dec 2019 19:40:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1icfBZ-0003xu-Sv
 for guix-patches@gnu.org; Wed, 04 Dec 2019 19:40:01 -0500
Subject: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Resent-Message-ID: <handler.33478.B33478.157550638515213@debbugs.gnu.org>
From: Brett Gilio <brettg@posteo.net>
References: <20181124042450.8500-1-brettg@posteo.net>
Date: Wed, 04 Dec 2019 18:39:32 -0600
In-Reply-To: <20181124042450.8500-1-brettg@posteo.net> (Brett Gilio's message
 of "Fri, 23 Nov 2018 22:24:50 -0600")
Message-ID: <87fthz61x7.fsf@posteo.net>
MIME-Version: 1.0
Content-Type: text/plain
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: 33478@debbugs.gnu.org

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