> [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 > libHSbase-4.6.0.1-ghc7.6.3.so
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 Thanks, Jens -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
