mbox series

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

Message ID cover.1677685282.git.dev@jpoiret.xyz
Headers show
Series Update Agda to 2.6.3 | expand

Message

Josselin Poiret March 2, 2023, 2:10 p.m. UTC 
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

Comments

Simon Tournier March 3, 2023, 1:30 a.m. UTC | #1 
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
Josselin Poiret March 3, 2023, 4:24 p.m. UTC | #2 
Hi Simon,

Simon Tournier <zimon.toutoune@gmail.com> writes:

> Hi Josselin,
>
> It seems some duplicate work with #61848 [1] from Monday.
>
> Maybe the two series could be merged.  WDYT?

My bad, completely missed this one.  I'm not too familiar with the
reasonning behind keeping agda@2.6.2 around in that other patchset, but
I'll have a look there soon.

Best,