Download ftp.icm.edu.pl   ghc-idris-prof-1.3.2-3.fc32.x86_64.rpm

Provides :
ghc-idris-prof
ghc-idris-prof(x86-64)
ghc-prof(idris-1.3.2-HQo0AsC5CHXIudvKOcJSsl)

Requires :

ghc-idris-devel(x86-64) = 1.3.2-3.fc32
ghc-prof(aeson-1.4.6.0-GW12281wWczJyRiEaI3P58)
ghc-prof(annotated-wl-pprint-0.7.0-DGkZQ2VEej1K9q8cmlJu7D)
ghc-prof(ansi-terminal-0.9.1-KAtSkkD7GHFKoP9eT8kWXE)
ghc-prof(ansi-wl-pprint-0.6.9-Cz5pneQ8Hse3VAFYZHVfdH)
ghc-prof(array-0.5.3.0)
ghc-prof(async-2.2.2-izpvdmZWvvDzxTFdUgkXg)
ghc-prof(base-4.12.0.0)
ghc-prof(base64-bytestring-1.0.0.3-DZoGyDc1Y1uBTlnne7XqNA)
ghc-prof(binary-0.8.6.0)
ghc-prof(blaze-html-0.9.1.2-J20JWCD2FKk8MCNGBN7MhE)
ghc-prof(blaze-markup-0.8.2.3-ATcS0IRQcDMCxhB8vW9N1d)
ghc-prof(bytestring-0.10.8.2)
ghc-prof(cheapskate-0.1.1.2-81HjGNMlmwGE5stGvp5zJM)
ghc-prof(code-page-0.2-3TjNtc9lu3RJN6poyFdQXs)
ghc-prof(containers-0.6.0.1)
ghc-prof(deepseq-1.4.4.0)
ghc-prof(directory-1.3.3.0)
ghc-prof(filepath-1.4.2.1)
ghc-prof(fingertree-0.1.4.2-3y9RCeoabqFEsIFOGn6xXZ)
ghc-prof(fsnotify-0.3.0.1-148UcCnmabB3ct4wNC5sJk)
ghc-prof(haskeline-0.7.4.3)
ghc-prof(ieee754-0.8.0-IfCS1Dp7pQVIOQRslM6kD)
ghc-prof(libffi-0.1-B7BBBCt8Sd58IwpXe6mL8r)
ghc-prof(megaparsec-7.0.5-KsE7yKyKzP7AXPLp6NyGnD)
ghc-prof(mtl-2.2.2)
ghc-prof(network-2.8.0.1-Hmt657UE3v349uYmvUXEvW)
ghc-prof(optparse-applicative-0.14.3.0-H90Ww0R6ilm7TO57dxGPV2)
ghc-prof(parser-combinators-1.1.0-38c2Lee1g7D9AI3U94rozi)
ghc-prof(pretty-1.1.3.6)
ghc-prof(process-1.6.5.0)
ghc-prof(regex-tdfa-1.2.3.2-24BpKmE04Wg88SsVhgqjyZ)
ghc-prof(safe-0.3.18-LtdH37oJsulDSBmeOJDMc3)
ghc-prof(split-0.2.3.3-6n1iQ0JLFvkeXvJXsAqQc)
ghc-prof(terminal-size-0.3.2.1-Hh6hFaOyLfiJ6x0AenX2yY)
ghc-prof(text-1.2.3.1)
ghc-prof(time-1.8.0.2)
ghc-prof(transformers-0.5.6.2)
ghc-prof(uniplate-1.6.12-Dv7wj50u93mBdwYXyT04BE)
ghc-prof(unix-2.7.2.2)
ghc-prof(unordered-containers-0.2.10.0-KQjsr7xKC1WHxfEOZ1c65w)
ghc-prof(utf8-string-1.0.1.1-Geq8jdOv4Q3LkcQoEOWDVv)
ghc-prof(vector-0.12.1.2-FUpUeiQkfYKL48Uq1yWMoF)
ghc-prof(vector-binary-instances-0.2.5.1-COZxSBqvgb91dMG3kRxRkw)
ghc-prof(zip-archive-0.4.1-6Co6eFUaryh5ig4xcX9RdX)
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.6.5/idris-1.3.2/BuildFlags_idris.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Bytecode.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenC.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenCommon.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/CodegenJavaScript.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Compiler.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Defunctionalise.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/DumpBC.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Exports.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Inliner.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/AST.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Codegen.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/LangTransforms.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Name.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/PrimOp.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/JavaScript/Specialize.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Lang.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/LangOpts.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Portable.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/Simplified.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/IRTS/System.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ASTUtils.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/AbsSyntax.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/AbsSyntaxTree.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Apropos.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/CaseSplit.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Chaser.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/CmdOptions.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Colours.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Completion.p_hi
There is 86 files more in these RPM.