GNU bug report logs - #61915
[PATCH 0/4] Update Agda to 2.6.3

Previous Next

Full log

Message #20 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Josselin Poiret via Guix-patches via <guix-patches <at> gnu.org>,
 61915 <at> debbugs.gnu.org
Cc: Josselin Poiret <dev <at> jpoiret.xyz>
Subject: Re: [bug#61915] [PATCH 0/4] Update Agda to 2.6.3
Date: Fri, 03 Mar 2023 02:30:09 +0100

Hi Josselin,

It seems some duplicate work with #61848 [1] from Monday.

Maybe the two series could be merged.  WDYT?


On Thu, 02 Mar 2023 at 15:10, Josselin Poiret via Guix-patches via <guix-patches <at> gnu.org> wrote:

> This should update Agda to the newly released 2.6.3 version.  I also thought it
> would be a good idea to build the user manual as an info manual, since sphinx
> has a texinfo backend!  This means we have to switch to git-fetch, since the
> manual is not available in the upstream tarballs from hackage.  I don't know how
> problematic it is wrt. updaters and friends though.
>
> Best,
>
> Josselin Poiret (4):
>   gnu: Add ghc-peano
>   gnu: Add ghc-vector-hashtables
>   gnu: agda: Update to 2.6.3 and switch to git-fetch
>   gnu: agda: Build info manual
>
>  gnu/packages/agda.scm        | 35 ++++++++++++++++++++++++------
>  gnu/packages/haskell-xyz.scm | 41 ++++++++++++++++++++++++++++++++++++
>  2 files changed, 70 insertions(+), 6 deletions(-)

Well, #61848 reads,

        Christopher Rodriguez (4):
          gnu/packages/haskell-xyz.scm: Add ghc-vector-hashtables.
          gnu/packages/agda.scm: Add agda v2.6.3.
          gnu/packages/agda.scm: Add emacs-agda2-mode v2.6.3.
          gnu/packages/agda.scm: Add agda-stdlib v1.7.2.

         gnu/packages/agda.scm        | 70 ++++++++++++++++++++++++++++++++++++
         gnu/packages/haskell-xyz.scm | 23 ++++++++++++
         2 files changed, 93 insertions(+)


1: <http://issues.guix.gnu.org/msgid/20230227181055.21133-1-yewscion <at> gmail.com>

Cheers,
simon

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.