[Bug 999011] idris-0.9.11.2 is available

[Red Hat Bugzilla]

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

Jens Petersen <petersen(a)redhat.com&gt; changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Depends On|1075595                     |
                   |(ghc-transformers-compat)   |
         Whiteboard|needs parsers, trifecta,    |needs parsers, trifecta,
                   |ansi-wl-pprint              |ansi-wl-pprint,
                   |                            |annotated-wl-pprint




Referenced Bugs:

https://bugzilla.redhat.com/show_bug.cgi?id=1075595
[Bug 1075595] Review Request: ghc-transformers-compat - A compatibility
shim exposing the new types from transformers 0.3
-- 
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=Dq7LPnC8G5&a=cc_unsubscribe