Download ftp.icm.edu.pl   ghc-idris-prof-1.3.3-2.fc33.x86_64.rpm

Provides :
ghc-idris-prof
ghc-idris-prof(x86-64)
ghc-prof(idris-1.3.3-FGodWJpiOyB15B877p1bV2)

Requires :

ghc-idris-devel(x86-64) = 1.3.3-2.fc33
ghc-prof(aeson-1.4.7.1-27FHg4BkJrm9lkk8tZZzUQ)
ghc-prof(annotated-wl-pprint-0.7.0-GnwGLTLAoUz1b9IARtaRpM)
ghc-prof(ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L)
ghc-prof(ansi-wl-pprint-0.6.9-IMPl3nY7gjEBk4zS4Qr6fs)
ghc-prof(array-0.5.4.0)
ghc-prof(async-2.2.2-2ULimDDdog9JcTMEroG8iG)
ghc-prof(base-4.13.0.0)
ghc-prof(base64-bytestring-1.0.0.3-6nNbupf0oNc9ekFOSwyfJw)
ghc-prof(binary-0.8.7.0)
ghc-prof(blaze-html-0.9.1.2-Jai7hmGgoCjBZD0EPckdJe)
ghc-prof(blaze-markup-0.8.2.7-9RZWs63f0KQGIJRQIjvtHQ)
ghc-prof(bytestring-0.10.10.1)
ghc-prof(cheapskate-0.1.1.2-LfeppKfxdSsJuwha9hl93O)
ghc-prof(code-page-0.2-3ZPLxXkH34R4zgabU0YisI)
ghc-prof(containers-0.6.2.1)
ghc-prof(deepseq-1.4.4.0)
ghc-prof(directory-1.3.6.0)
ghc-prof(filepath-1.4.2.1)
ghc-prof(fingertree-0.1.4.2-AcceahIMLXX3avs4HbXXk8)
ghc-prof(fsnotify-0.3.0.1-9HxetPpM1bIH9khcp0m8lr)
ghc-prof(haskeline-0.7.5.0)
ghc-prof(ieee754-0.8.0-EXeeyTii0hq1uhkX1pvfZc)
ghc-prof(libffi-0.1-LaxBOUgtxmx2MRq5rmTdUm)
ghc-prof(megaparsec-8.0.0-1olkTl373fHEi7MWFuDRN)
ghc-prof(mtl-2.2.2)
ghc-prof(network-3.1.1.1-CtLURRWWFvn3QC3vC70cjB)
ghc-prof(optparse-applicative-0.15.1.0-Gc5RFoVAyYEEbyyyIsFg6f)
ghc-prof(parser-combinators-1.2.1-KFbv2djhJYDIX4OK1EDf6j)
ghc-prof(pretty-1.1.3.6)
ghc-prof(process-1.6.9.0)
ghc-prof(regex-tdfa-1.3.1.0-BCp8ryNjhfV1am1pufVzzY)
ghc-prof(safe-0.3.19-LxDJURZu1921pHCEJqjvRE)
ghc-prof(split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL)
ghc-prof(terminal-size-0.3.2.1-Lp3EPz6AmPvE7uvVvixMVf)
ghc-prof(text-1.2.4.0)
ghc-prof(time-1.9.3)
ghc-prof(transformers-0.5.6.2)
ghc-prof(uniplate-1.6.12-DREoNe1QLer43eHfSRyO7Q)
ghc-prof(unix-2.7.2.2)
ghc-prof(unordered-containers-0.2.10.0-C5eTAtH5LKm2scoBCFkX6h)
ghc-prof(utf8-string-1.0.1.1-K3Cc2i5eeGM49mkpXdBKoc)
ghc-prof(vector-0.12.1.2-9VBjzXNvxb1HpDzhLcvAe5)
ghc-prof(vector-binary-instances-0.2.5.1-1E2fLOgcHcjOtcjFpcLot)
ghc-prof(zip-archive-0.4.1-60Wzgr7Lw5F2dG6xAfmsrQ)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rpmlib(RichDependencies) <= 4.12.0-1

Content of RPM :
/usr/lib64/ghc-8.8.4/idris-1.3.3/BuildFlags_idris.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Bytecode.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/CodegenC.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/CodegenCommon.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/CodegenJavaScript.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Compiler.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Defunctionalise.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/DumpBC.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Exports.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Inliner.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/JavaScript/AST.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/JavaScript/Codegen.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/JavaScript/LangTransforms.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/JavaScript/Name.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/JavaScript/PrimOp.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/JavaScript/Specialize.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Lang.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/LangOpts.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Portable.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/Simplified.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/IRTS/System.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/ASTUtils.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/AbsSyntax.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/AbsSyntaxTree.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/Apropos.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/CaseSplit.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/Chaser.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/CmdOptions.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/Colours.p_hi
/usr/lib64/ghc-8.8.4/idris-1.3.3/Idris/Completion.p_hi
There is 86 files more in these RPM.