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

[bugzilla at redhat.com]

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

Fedora Update System <updates at fedoraproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ON_QA                       |CLOSED
   Fixed In Version|                            |hledger-0.19.3-1.fc19
         Resolution|---                         |ERRATA
        Last Closed|                            |2013-09-11 21:51:37



--- Comment #24 from Fedora Update System <updates at fedoraproject.org> ---
hledger-0.19.3-1.fc19, idris-0.9.8-3.fc19, darcs-2.8.4-1.fc19,
ghc-haskeline-0.7.0.3-1.fc19, ghc-hledger-lib-0.19.3-1.fc19,
Agda-2.3.2.1-5.fc19 has been pushed to the Fedora 19 stable repository.  If
problems still persist, please make note of it in this bug report.

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