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

[Josselin Poiret]

Hi everyone,

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(-)


base-commit: 307d1b626be86ed21d48d44a131ce8490f370a17
-- 
2.39.1