Download ftp.icm.edu.pl   ghc-idris-1.3.2-1.fc31.x86_64.rpm

Provides :
ghc-idris
ghc-idris(x86-64)
libHSidris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI-ghc8.6.5.so()(64bit)

Requires :

idris-common = 1.3.2-1.fc31
idris-static = 1.3.2-1.fc31
libHSaeson-1.4.2.0-ARmcPxOExzpGnW3RrgDJ7K-ghc8.6.5.so()(64bit)
libHSannotated-wl-pprint-0.7.0-DGkZQ2VEej1K9q8cmlJu7D-ghc8.6.5.so()(64bit)
libHSansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58-ghc8.6.5.so()(64bit)
libHSansi-wl-pprint-0.6.8.2-FavuR50rvZs3UXCXkBzL8N-ghc8.6.5.so()(64bit)
libHSasync-2.2.2-izpvdmZWvvDzxTFdUgkXg-ghc8.6.5.so()(64bit)
libHSbase-4.12.0.0-ghc8.6.5.so()(64bit)
libHSbase64-bytestring-1.0.0.2-9zRsxWrEm5zGbLjNlDas-ghc8.6.5.so()(64bit)
libHSbinary-0.8.6.0-ghc8.6.5.so()(64bit)
libHSblaze-html-0.9.1.1-E0enfQtU1ZTDNQ8G8pIpJp-ghc8.6.5.so()(64bit)
libHSblaze-markup-0.8.2.2-IwLwNWRUxfsEuYbkQ0Gv5Q-ghc8.6.5.so()(64bit)
libHSbytestring-0.10.8.2-ghc8.6.5.so()(64bit)
libHScheapskate-0.1.1.1-Kc6sQgkDLEVE45dOPuqB0L-ghc8.6.5.so()(64bit)
libHScode-page-0.2-3TjNtc9lu3RJN6poyFdQXs-ghc8.6.5.so()(64bit)
libHScontainers-0.6.0.1-ghc8.6.5.so()(64bit)
libHSdeepseq-1.4.4.0-ghc8.6.5.so()(64bit)
libHSdirectory-1.3.3.0-ghc8.6.5.so()(64bit)
libHSfilepath-1.4.2.1-ghc8.6.5.so()(64bit)
libHSfingertree-0.1.4.2-3y9RCeoabqFEsIFOGn6xXZ-ghc8.6.5.so()(64bit)
libHSfsnotify-0.3.0.1-3l0tWtvnZmijxRVM4INGW-ghc8.6.5.so()(64bit)
libHSghc-prim-0.5.3-ghc8.6.5.so()(64bit)
libHShaskeline-0.7.4.3-ghc8.6.5.so()(64bit)
libHSieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD-ghc8.6.5.so()(64bit)
libHSinteger-gmp-1.0.2.0-ghc8.6.5.so()(64bit)
libHSlibffi-0.1-B7BBBCt8Sd58IwpXe6mL8r-ghc8.6.5.so()(64bit)
libHSmegaparsec-7.0.5-HXAgEiX4uzrDVUQIM5vDmn-ghc8.6.5.so()(64bit)
libHSmtl-2.2.2-ghc8.6.5.so()(64bit)
libHSnetwork-2.8.0.1-Hmt657UE3v349uYmvUXEvW-ghc8.6.5.so()(64bit)
libHSoptparse-applicative-0.14.3.0-DPUC5foCXxdFasYzDNFLT4-ghc8.6.5.so()(64bit)
libHSparser-combinators-1.0.3-1UTfcB7o30zCtW5Kb6a4SR-ghc8.6.5.so()(64bit)
libHSprocess-1.6.5.0-ghc8.6.5.so()(64bit)
libHSregex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ-ghc8.6.5.so()(64bit)
libHSscientific-0.3.6.2-Jh87LYpjAZH3EhMJkXeu1S-ghc8.6.5.so()(64bit)
libHSsplit-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc-ghc8.6.5.so()(64bit)
libHSterminal-size-0.3.2.1-Hh6hFaOyLfiJ6x0AenX2yY-ghc8.6.5.so()(64bit)
libHStext-1.2.3.1-ghc8.6.5.so()(64bit)
libHStime-1.8.0.2-ghc8.6.5.so()(64bit)
libHStransformers-0.5.6.2-ghc8.6.5.so()(64bit)
libHSuniplate-1.6.12-Dv7wj50u93mBdwYXyT04BE-ghc8.6.5.so()(64bit)
libHSunix-2.7.2.2-ghc8.6.5.so()(64bit)
libHSunordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w-ghc8.6.5.so()(64bit)
libHSutf8-string-1.0.1.1-Geq8jdOv4Q3LkcQoEOWDVv-ghc8.6.5.so()(64bit)
libHSvector-0.12.0.3-2LEYu9M2i7lERDtz76XG3n-ghc8.6.5.so()(64bit)
libHSzip-archive-0.4.1-9OcPKyu7a861C95kzDYqN7-ghc8.6.5.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)

Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/0f
/usr/lib/.build-id/0f/975a165cafaf1f6990b1ef2dd69fe7ca9bfc70
/usr/lib64/libHSidris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI-ghc8.6.5.so