bug#66775: closed ([PATCH 0/6] Update Agda and libraries to 2.6.4)

[GNU bug Tracking System]

Your message dated Tue, 14 Nov 2023 14:13:34 +0100
with message-id <87edgsmq9t.fsf@jpoiret.xyz>
and subject line Re: [PATCH 0/6] Update Agda and libraries to 2.6.4
has caused the debbugs.gnu.org bug report #66775,
regarding [PATCH 0/6] Update Agda and libraries to 2.6.4
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66775: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66775
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/6] Update Agda and libraries to 2.6.4
>
>
>
>
> Date: 
>
> Fri, 27 Oct 2023 20:11:52 +0200
>
>
>
>
> Hello everyone,
>
> Small patchset, just updating Agda to the latest release.  All libraries should
> work with this.
>
> Best,
>
> Josselin Poiret (6):
>   gnu: Add ghc-text-icu.
>   gnu: agda: Update to 2.6.4.
>   gnu: agda-stdlib: Update to 1.7.3.
>   gnu: agda-categories: Adapt to agda-stdlib 1.7.3.
>   gnu: agda-cubical: Update to 0.6.
>   gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280.
>
>  gnu/local.mk                                  |  2 +
>  gnu/packages/agda.scm                         | 37 ++++++++------
>  gnu/packages/haskell-xyz.scm                  | 41 +++++++++++++++
>  .../agda-categories-use-stdlib-1.7.3.patch    | 28 ++++++++++
>  gnu/packages/patches/agda-use-sphinx-5.patch  | 51 +++++++++++++++++++
>  5 files changed, 143 insertions(+), 16 deletions(-)
>  create mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch
>  create mode 100644 gnu/packages/patches/agda-use-sphinx-5.patch
>
>
> base-commit: 2de30042674197fe451c220745186e36465d06e2
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [PATCH 0/6] Update Agda and libraries to 2.6.4 Date: Tue, 14 Nov 2023 14:13:34 +0100

Hi,

Josselin Poiret <dev@jpoiret.xyz> writes:

> Small patchset, just updating Agda to the latest release.  All libraries 
> should
> work with this.

Merged with bd0f2173210416e86281c1de8789e7cdab66dd57.  Closing.

Best,
-- 
Josselin Poiret

signature.asc
Description: PGP signature

--- End Message ---