[Bug 947819] Review Request: idris - Functional Programming Language with Dependent Types

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=947819

--- Comment #14 from Jens Petersen <petersen at redhat.com> ---
(In reply to Jens Petersen from comment #13)
> I will backport this change to f18 and f19 ghc-rpm-macros shortly.

(Actually as far as I can determine it only affects ghc-7.4.2 (f19) and
ghc-7.6.3 (f20), and I have pushed an update for ghc-rpm-macros to
f19 testing.)

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=BJR2HT5z8b&a=cc_unsubscribe