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 _______________________________________________ haskell mailing list haskell@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/haskell