Dependencies
Provides
-
ghc-agda-lib-ffi
= 0.0.2-3.fc20
-
ghc-agda-lib-ffi(x86-64)
= 0.0.2-3.fc20
-
ghc(agda-lib-ffi-0.0.2-fb7bc58a81282fd1a07847dcfa64def8)
-
libHSagda-lib-ffi-0.0.2-ghc7.6.3.so()(64bit)
Requires
-
rpmlib(FileDigests)
<= 4.6.0-1
-
rpmlib(PayloadFilesHavePrefix)
<= 4.0-1
-
rpmlib(CompressedFileNames)
<= 3.0.4-1
-
ghc(base-4.6.0.1-8aa5d403c45ea59dcd2c39f123e27d57)
-
libHSbase-4.6.0.1-ghc7.6.3.so()(64bit)
-
libHSghc-prim-0.3.0.0-ghc7.6.3.so()(64bit)
-
libHSinteger-gmp-0.5.0.0-ghc7.6.3.so()(64bit)
-
libc.so.6()(64bit)
-
libc.so.6(GLIBC_2.2.5)(64bit)
-
libgmp.so.10()(64bit)
-
rtld(GNU_HASH)
-
rpmlib(PayloadIsXz)
<= 5.2-1