GNU bug report logs - #61915
[PATCH 0/4] Update Agda to 2.6.3

Previous Next

Package: guix-patches;

Reported by: Josselin Poiret <dev <at> jpoiret.xyz>

Date: Thu, 2 Mar 2023 14:11:02 UTC

Severity: normal

Tags: patch

Merged with 61848

Done: Josselin Poiret <dev <at> jpoiret.xyz>

Bug is archived. No further changes may be made.

Full log

Message #70 received at control <at> debbugs.gnu.org (full text, mbox):

From: Josselin Poiret <dev <at> jpoiret.xyz>
To: Christopher Rodriguez <yewscion <at> gmail.com>, 61848 <at> debbugs.gnu.org
Cc: control <at> debbugs.gnu.org
Subject: Re: [bug#61848] [[PATCH] 0/4] Agda Update and Standard Library
Date: Sun, 30 Apr 2023 13:23:46 +0200

[Message part 1 (text/plain, inline)]
merge 61848 61915
thankyou

Hi Christopher,

Sorry to come back so late to this patchset.  I finally got around to
work on this, and decided to plainly add an agda-build-system, and
shuffle some stuff around to make Guix work properly with Agda
libraries.  This lets us add agda-stdlib, cubical, agda-categories, etc.
I'm merging both issues, I hope that's fine with you.  Let me know what
you think.

Best,
-- 
Josselin Poiret

[signature.asc (application/pgp-signature, inline)]
This bug report was last modified 1 year and 354 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.