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