guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#30741] [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris

From: Alex ter Weele
Subject: [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
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) 
Reposting a properly-formatted patch series here.

Attachment: 0001-gnu-Add-ghc-aeson-1.1.2.0.patch
Description: Text Data

Attachment: 0002-gnu-Add-ghc-trifecta-1.6.2.1.patch
Description: Text Data

Attachment: 0003-gnu-Add-ghc-cheapskate-0.1.0.5.patch
Description: Text Data

Attachment: 0004-gnu-Fix-idris.patch
Description: Text Data

reply via email to
[Prev in Thread] Current Thread [Next in Thread]