Content of RPM ghc-idris-prof-1.3.2-3.fc32.x86_64.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
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Binary.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/CaseTree.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Constraints.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/DeepSeq.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Elaborate.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Evaluate.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Execute.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/ProofState.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/ProofTerm.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/TT.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Typecheck.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/Unify.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Core/WHNF.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Coverage.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/DSL.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/DataOpts.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/DeepSeq.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Delaborate.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Directives.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Docs.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Docstrings.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/AsPat.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Clause.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Data.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Implementation.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Interface.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Provider.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Quasiquote.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Record.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Rewrite.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/RunElab.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Term.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Transform.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Type.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Utils.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Elab/Value.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ElabDecls.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Erasure.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ErrReverse.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Error.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Help.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/IBC.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/IdeMode.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/IdrisDoc.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Imports.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Info.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Info/Show.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Inliner.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Interactive.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Main.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ModeCommon.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Options.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Output.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Package.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Package/Common.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Package/Parser.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Parser.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Parser/Data.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Parser/Expr.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Parser/Helpers.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Parser/Ops.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Parser/Stack.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/PartialEval.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Primitives.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/ProofSearch.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Prover.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Providers.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/REPL.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/REPL/Browse.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/REPL/Commands.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/REPL/Parser.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Reflection.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Termination.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Transforms.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/TypeSearch.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/Unlit.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Idris/WhoCalls.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Paths_idris.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Tools_idris.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Util/DynamicLinker.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Util/Net.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Util/Pretty.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Util/ScreenSize.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Util/System.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/Version_idris.p_hi
/usr/lib64/ghc-8.6.5/idris-1.3.2/libHSidris-1.3.2-HQo0AsC5CHXIudvKOcJSsl_p.a