How To Install ghc-idris-prof on Fedora 36

In this tutorial we learn how to install ghc-idris-prof in Fedora 36. ghc-idris-prof is Haskell idris profiling library

Introduction

In this tutorial we learn how to install ghc-idris-prof on Fedora 36.

What is `ghc-idris-prof`

This package provides the Haskell idris profiling library.

We can use yum or dnf to install ghc-idris-prof on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-idris-prof.

Install ghc-idris-prof on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install ghc-idris-prof using dnf by running the following command:

sudo dnf -y install ghc-idris-prof

Install ghc-idris-prof on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install ghc-idris-prof using yum by running the following command:

sudo yum -y install ghc-idris-prof

How To Uninstall ghc-idris-prof on Fedora 36

To uninstall only the ghc-idris-prof package we can use the following command:

sudo dnf remove ghc-idris-prof

ghc-idris-prof Package Contents on Fedora 36

/usr/lib64/ghc-8.10.5/idris-1.3.4/BuildFlags_idris.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Bytecode.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/CodegenC.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/CodegenCommon.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/CodegenJavaScript.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Compiler.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Defunctionalise.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/DumpBC.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Exports.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Inliner.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/JavaScript/AST.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/JavaScript/Codegen.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/JavaScript/LangTransforms.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/JavaScript/Name.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/JavaScript/PrimOp.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/JavaScript/Specialize.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Lang.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/LangOpts.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Portable.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/Simplified.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/IRTS/System.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/ASTUtils.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/AbsSyntax.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/AbsSyntaxTree.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Apropos.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/CaseSplit.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Chaser.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/CmdOptions.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Colours.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Completion.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Binary.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/CaseTree.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Constraints.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/DeepSeq.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Elaborate.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Evaluate.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Execute.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/ProofState.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/ProofTerm.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/TT.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Typecheck.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/Unify.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Core/WHNF.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Coverage.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/DSL.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/DataOpts.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/DeepSeq.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Delaborate.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Directives.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Docs.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Docstrings.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/AsPat.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Clause.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Data.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Implementation.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Interface.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Provider.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Quasiquote.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Record.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Rewrite.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/RunElab.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Term.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Transform.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Type.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Utils.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Elab/Value.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/ElabDecls.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Erasure.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/ErrReverse.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Error.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Help.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/IBC.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/IdeMode.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/IdrisDoc.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Imports.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Info.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Info/Show.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Inliner.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Interactive.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Main.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/ModeCommon.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Options.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Output.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Package.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Package/Common.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Package/Parser.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Parser.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Parser/Data.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Parser/Expr.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Parser/Helpers.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Parser/Ops.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Parser/Stack.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/PartialEval.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Primitives.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/ProofSearch.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Prover.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Providers.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/REPL.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/REPL/Browse.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/REPL/Commands.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/REPL/Parser.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Reflection.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Termination.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Transforms.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/TypeSearch.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/Unlit.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Idris/WhoCalls.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Paths_idris.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Tools_idris.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Util/DynamicLinker.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Util/Net.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Util/Pretty.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Util/ScreenSize.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Util/System.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/Version_idris.p_hi
/usr/lib64/ghc-8.10.5/idris-1.3.4/libHSidris-1.3.4-DlDpU4VDF4TXidcAITfq3_p.a

References

ghc-idris-prof website

Summary

In this tutorial we learn how to install ghc-idris-prof on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).