[Bug 892566] Agda-2.3.2.1 is available

[bugzilla at redhat.com]

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



--- Comment #5 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,Agda-2.3.2.1-1.fc19,ghc-haskeline-0.7.0.3-1.fc19,ghc-hledger-lib-0.19.3-1.fc19
has been submitted as an update for Fedora 19.
https://admin.fedoraproject.org/updates/hledger-0.19.3-1.fc19,idris-0.9.8-3.fc19,darcs-2.8.4-1.fc19,Agda-2.3.2.1-1.fc19,ghc-haskeline-0.7.0.3-1.fc19,ghc-hledger-lib-0.19.3-1.fc19

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