On Mon, Mar 02, 2015 at 05:05:28 -0500, Jens Petersen wrote:
If you want to help get Agda out of the rawhide and branched reports
then please help with reviewing the 6 new deps packages in the bug dependency tree:
https://bugzilla.redhat.com/showdependencytree.cgi?id=1164120
I'll look at them tonight.
--Ben