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.
Show replies by date