Subject: [PATCH 0/4] Update Agda to 2.6.3
From: Josselin Poiret <[email-masked]>
To: [email-masked]
Cc: Josselin Poiret <[email-masked]>
Date: Thu, 2 Mar 2023 15:10:25 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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