Download ftp.icm.edu.pl   ghc-idris-devel-1.3.1-1.fc30.x86_64.rpm ftp.icm.edu.pl   ghc-idris-devel-1.3.1-1.fc30.x86_64.rpm

Provides :
ghc-devel(idris-1.3.1-GtOBRPhPDOcKwZ3zq26pYG)
ghc-idris-devel
ghc-idris-devel(x86-64)
ghc-idris-doc
ghc-idris-static

Requires :

/bin/sh
/bin/sh
ghc-compiler = 8.4.4
ghc-compiler = 8.4.4
ghc-compiler = 8.4.4
ghc-devel(aeson-1.3.1.1-LeWJURkxPLH7L5sIBqTbN)
ghc-devel(annotated-wl-pprint-0.7.0-5EJhaPPvnKODWMqVOHKqvI)
ghc-devel(ansi-terminal-0.8.2-GgLl6UwMCAQDGPLLTlbFlM)
ghc-devel(ansi-wl-pprint-0.6.8.2-CRoRAdEpifJaTwySBP3K4)
ghc-devel(array-0.5.2.0)
ghc-devel(async-2.2.1-Bdgq0Bblhz1F5RxDJqqwi6)
ghc-devel(base-4.11.1.0)
ghc-devel(base64-bytestring-1.0.0.2-6YRVB2gpMOjGISoH1KerzK)
ghc-devel(binary-0.8.5.1)
ghc-devel(blaze-html-0.9.1.1-CmiEotcLUcg4g79Q9JAw9e)
ghc-devel(blaze-markup-0.8.2.2-qawq6c4zOZD1LHagCzpxm)
ghc-devel(bytestring-0.10.8.2)
ghc-devel(cheapskate-0.1.1.1-LuXgPUc6xVO4uVDwH0plLz)
ghc-devel(code-page-0.1.3-78bf3rlibAi1l7KbTfbq3V)
ghc-devel(containers-0.5.11.0)
ghc-devel(deepseq-1.4.3.0)
ghc-devel(directory-1.3.1.5)
ghc-devel(filepath-1.4.2)
ghc-devel(fingertree-0.1.4.2-LBfu44ZdgId48rJKoaWztJ)
ghc-devel(fsnotify-0.3.0.1-AScCc4unQKl7IUsgd8hn2U)
ghc-devel(haskeline-0.7.4.2)
ghc-devel(ieee754-0.8.0-KmEF4YGiqmIDu40b1SLx46)
ghc-devel(libffi-0.1-KciznLKKFMTLZ0dw70VJSt)
ghc-devel(megaparsec-6.5.0-DzzfNw1b408G3z2EXWn51Y)
ghc-devel(mtl-2.2.2)
ghc-devel(network-2.6.3.6-3NZCj2rmnkQ4edQqNZrMsv)
ghc-devel(optparse-applicative-0.14.3.0-D4UQR951eJYpzm2zOz7Sn)
ghc-devel(pretty-1.1.3.6)
ghc-devel(process-1.6.3.0)
ghc-devel(regex-tdfa-1.2.3.1-9PkkapJrmiKFVG38JA02jN)
ghc-devel(safe-0.3.17-HEmZRpXGD3s2ywM3rHJ1ur)
ghc-devel(split-0.2.3.3-3fFb67BrTpqAjKImK4FBjR)
ghc-devel(terminal-size-0.3.2.1-KN6K6Ef1GMWIEqS2qb6D5y)
ghc-devel(text-1.2.3.1)
ghc-devel(time-1.8.0.2)
ghc-devel(transformers-0.5.5.0)
ghc-devel(uniplate-1.6.12-6TsFUGL4X7p4wL2of5LqUr)
ghc-devel(unix-2.7.2.2)
ghc-devel(unordered-containers-0.2.9.0-D29DBTdibk7GcEJszMbIZV)
ghc-devel(utf8-string-1.0.1.1-LRSjvSC6FZkKPp48Qszoj8)
ghc-devel(vector-0.12.0.2-8brhJTJuqC6Fmf0lm76wyt)
ghc-devel(vector-binary-instances-0.2.5.1-5negrs4yipKBNKZuAHqlop)
ghc-devel(zip-archive-0.3.3-BneOrrwakSt4DogirxwPQ)
ghc-idris(x86-64) = 1.3.1-1.fc30
gmp-devel(x86-64)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1

Content of RPM :
/usr/lib64/ghc-8.4.4/idris-1.3.1
/usr/lib64/ghc-8.4.4/idris-1.3.1/BuildFlags_idris.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/BuildFlags_idris.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/BuildFlags_idris.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Bytecode.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Bytecode.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Bytecode.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenC.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenC.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenC.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenCommon.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenCommon.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenCommon.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenJavaScript.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenJavaScript.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/CodegenJavaScript.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Compiler.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Compiler.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Compiler.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Defunctionalise.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Defunctionalise.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Defunctionalise.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/DumpBC.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/DumpBC.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/DumpBC.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Exports.dyn_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Exports.hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Exports.p_hi
/usr/lib64/ghc-8.4.4/idris-1.3.1/IRTS/Inliner.dyn_hi
There is 640 files more in these RPM.