On Mon, Mar 02, 2015 at 09:00:02 -0500, Ben Boeckel wrote:
> I'll look at them tonight.
5/6 reviewed; one is a transitive dep, so I'll wait for that one.
--Ben
--
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http:
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 loo
> [Agda]
> ghc-Agda-2.3.2.2-5.fc22 requires libHSzlib-0.5.4.1-ghc7.6.3.so
> ghc-Agda-2.3.2.2-5.fc22 requires libHSxhtml-3000.2.1-ghc7.6.3.so
> ghc-Agda-2.3.2.2-5.fc22 requires libHSvector-0.10.0.1-ghc7.6.3.so
> [Agda-stdlib]
> ghc-agda-lib-ffi-0.0.2-5.fc22.i686 requires
> l
