> [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