[Bug 892566] Agda-2.3.2.1 is available

https://bugzilla.redhat.com/show_bug.cgi?id=892566 Jens Petersen <petersen(a)redhat.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |CLOSED Resolution|--- |RAWHIDE Last Closed| |2013-06-21 05:57:35 --- Comment #4 from Jens Petersen <petersen(a)redhat.com&gt; --- Built with ghc-7.6.3 for F20 Rawhide. -- 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=9QGA9EgAWA&a=cc_unsubscribe