GNU bug report logs - #30741
[PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

Previous Next

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.

Full log


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)]
Reposting a properly-formatted patch series here.

[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)]

This bug report was last modified 7 years and 91 days ago.

Previous Next


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