[bug#61915] [PATCH 0/4] Update Agda to 2.6.3

[Simon Tournier <zimon.toutoune@gmail.com>]

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@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@gmail.com>

Cheers,
simon