Agda has broken dependencies in the rawhide tree: On x86_64: ghc-Agda-2.4.2.2-6.fc24.x86_64 requires ghc(split-0.2.2-34cfb851cc3784e22bfae7a7bddda9c5) ghc-Agda-2.4.2.2-6.fc24.x86_64 requires libHSsplit-0.2.2-ghc7.8.4.so()(64bit) On i386: ghc-Agda-2.4.2.2-6.fc24.i686 requires ghc(split-0.2.2-00b34ebfe0428fa7ea316c4515f6481b) ghc-Agda-2.4.2.2-6.fc24.i686 requires libHSsplit-0.2.2-ghc7.8.4.so Please resolve this as soon as possible.
haskell-devel@lists.fedoraproject.org