[Bug 999011] idris-0.9.12 is available

[bugzilla at redhat.com]

https://bugzilla.redhat.com/show_bug.cgi?id=999011
Bug 999011 depends on bug 1075569, which changed state.

Bug 1075569 Summary: Review Request: ghc-ansi-wl-pprint - The Wadler/Leijen Pretty Printer for colored ANSI terminal output
https://bugzilla.redhat.com/show_bug.cgi?id=1075569

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ON_QA                       |CLOSED
         Resolution|---                         |ERRATA



-- 
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=boOFxYaH0S&a=cc_unsubscribe