Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-idris-prof | Distribution: Fedora Project |
Version: 1.3.4 | Vendor: Fedora Project |
Release: 17.fc41 | Build date: Tue Aug 6 19:21:02 2024 |
Group: Unspecified | Build host: buildvm-ppc64le-25.iad2.fedoraproject.org |
Size: 189932142 | Source RPM: idris-1.3.4-17.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/idris | |
Summary: Haskell idris profiling library |
This package provides the Haskell idris profiling library.
BSD-3-Clause
* Fri Aug 02 2024 Jens Petersen <[email protected]> - 1.3.4-17 - update mtl and bounds with upstream patches * Thu Jul 18 2024 Fedora Release Engineering <[email protected]> - 1.3.4-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jens Petersen <[email protected]> - 1.3.4-15 - refresh to cabal-rpm-2.2.1 * Wed Jan 24 2024 Fedora Release Engineering <[email protected]> - 1.3.4-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jan 20 2024 Fedora Release Engineering <[email protected]> - 1.3.4-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 26 2023 Jens Petersen <[email protected]> - 1.3.4-12 - bump upper bounds * Thu Jul 20 2023 Fedora Release Engineering <[email protected]> - 1.3.4-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Feb 17 2023 Jens Petersen <[email protected]> - 1.3.4-6 - refresh to cabal-rpm-2.1.0 with SPDX migration
/usr/lib64/ghc-9.6.6/lib/idris-1.3.4/BuildFlags_idris.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Bytecode.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/CodegenC.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/CodegenCommon.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/CodegenJavaScript.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Compiler.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Defunctionalise.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/DumpBC.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Exports.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Inliner.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/JavaScript/AST.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/JavaScript/Codegen.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/JavaScript/LangTransforms.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/JavaScript/Name.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/JavaScript/PrimOp.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/JavaScript/Specialize.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Lang.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/LangOpts.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Portable.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/Simplified.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/IRTS/System.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/ASTUtils.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/AbsSyntax.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/AbsSyntaxTree.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Apropos.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/CaseSplit.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Chaser.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/CmdOptions.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Colours.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Completion.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Binary.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/CaseTree.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Constraints.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/DeepSeq.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Elaborate.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Evaluate.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Execute.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/ProofState.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/ProofTerm.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/TT.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Typecheck.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/Unify.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Core/WHNF.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Coverage.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/DSL.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/DataOpts.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/DeepSeq.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Delaborate.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Directives.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Docs.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Docstrings.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/AsPat.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Clause.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Data.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Implementation.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Interface.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Provider.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Quasiquote.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Record.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Rewrite.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/RunElab.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Term.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Transform.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Type.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Utils.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Elab/Value.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/ElabDecls.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Erasure.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/ErrReverse.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Error.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Help.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/IBC.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/IdeMode.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/IdrisDoc.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Imports.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Info.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Info/Show.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Inliner.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Interactive.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Main.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/ModeCommon.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Options.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Output.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Package.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Package/Common.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Package/Parser.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Parser.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Parser/Data.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Parser/Expr.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Parser/Helpers.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Parser/Ops.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Parser/Stack.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/PartialEval.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Primitives.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/ProofSearch.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Prover.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Providers.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/REPL.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/REPL/Browse.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/REPL/Commands.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/REPL/Parser.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Reflection.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Termination.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Transforms.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/TypeSearch.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/Unlit.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Idris/WhoCalls.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Paths_idris.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Tools_idris.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Util/DynamicLinker.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Util/Net.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Util/Pretty.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Util/ScreenSize.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Util/System.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/Version_idris.p_hi /usr/lib64/ghc-9.6.6/lib/idris-1.3.4/libHSidris-1.3.4-6FdmgA7CYCV8RJfBlhdW3D_p.a
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Oct 27 05:57:41 2024