Package: guix-patches;
Reported by: Alex ter Weele <alex.ter.weele <at> gmail.com>
Date: Wed, 7 Mar 2018 05:20:02 UTC
Severity: normal
Tags: patch
Done: ludo <at> gnu.org (Ludovic Courtès)
Bug is archived. No further changes may be made.
Message #8 received at 30741 <at> debbugs.gnu.org (full text, mbox):
From: Alex ter Weele <alex.ter.weele <at> gmail.com> To: 30741 <at> debbugs.gnu.org Subject: Re: [bug#30741] [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") Date: Mon, 12 Mar 2018 21:08:28 -0500
[Message part 1 (text/plain, inline)]
[0001-gnu-Add-ghc-aeson-1.1.2.0.patch (text/x-patch, attachment)]
[0002-gnu-Add-ghc-trifecta-1.6.2.1.patch (text/x-patch, attachment)]
[0003-gnu-Add-ghc-cheapskate-0.1.0.5.patch (text/x-patch, attachment)]
[0004-gnu-Fix-idris.patch (text/x-patch, attachment)]
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.