Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-idris-prof-1.3.4-17.fc41 RPM for ppc64le

From Fedora 41 for ppc64le / g

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.

Provides

Requires

License

BSD-3-Clause

Changelog

* 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

Files

/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