[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61915] [PATCH 0/4] Update Agda to 2.6.3
From: |
Simon Tournier |
Subject: |
[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@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