[ol10_u0_developer_EPEL] ghc-Agda-prof-2.6.4.3-50.el10_0.x86_64

Name:	ghc-Agda-prof
Version:	2.6.4.3
Release:	50.el10_0
Architecture:	x86_64
Group:	Unspecified
Size:	247402897
License:	MIT AND BSD-3-Clause
RPM:	ghc-Agda-prof-2.6.4.3-50.el10_0.x86_64.rpm
Source RPM:	Agda-2.6.4.3-50.el10_0.src.rpm
Build Date:	Wed May 21 2025
Build Host:	build-ol10-x86_64.oracle.com
Vendor:	Oracle America
URL:	https://hackage.haskell.org/package/Agda
Summary:	Haskell Agda profiling library
Description:	This package provides the Haskell Agda profiling library.

Filelist (Show Changelog) (Show related packages)

/
- usr
  - lib64
    
    ghc-9.6.6
    
    lib
    
    Agda-2.6.4.3
    
    Paths_Agda.p_hi
    
    libHSAgda-2.6.4.3-JBI8EtVMmwb2APKZ0CXpyl_p.a
    
    Agda
    
    Benchmarking.p_hi
    
    ImpossibleTest.p_hi
    
    Main.p_hi
    
    TheTypeChecker.p_hi
    
    Version.p_hi
    
    VersionCommit.p_hi
    
    Auto
    
    Auto.p_hi
    
    CaseSplit.p_hi
    
    Convert.p_hi
    
    NarrowingSearch.p_hi
    
    Options.p_hi
    
    SearchControl.p_hi
    
    Syntax.p_hi
    
    Typecheck.p_hi
    
    Compiler
    
    Backend.p_hi
    
    Builtin.p_hi
    
    CallCompiler.p_hi
    
    Common.p_hi
    
    ToTreeless.p_hi
    
    JS
    
    Compiler.p_hi
    
    Pretty.p_hi
    
    Substitution.p_hi
    
    Syntax.p_hi
    
    MAlonzo
    
    Coerce.p_hi
    
    Compiler.p_hi
    
    Encode.p_hi
    
    HaskellTypes.p_hi
    
    Misc.p_hi
    
    Pragmas.p_hi
    
    Pretty.p_hi
    
    Primitives.p_hi
    
    Strict.p_hi
    
    Treeless
    
    AsPatterns.p_hi
    
    Builtin.p_hi
    
    Compare.p_hi
    
    EliminateDefaults.p_hi
    
    EliminateLiteralPatterns.p_hi
    
    Erase.p_hi
    
    GuardsToPrims.p_hi
    
    Identity.p_hi
    
    NormalizeNames.p_hi
    
    Pretty.p_hi
    
    Simplify.p_hi
    
    Subst.p_hi
    
    Uncase.p_hi
    
    Unused.p_hi
    
    Interaction
    
    AgdaTop.p_hi
    
    Base.p_hi
    
    BasicOps.p_hi
    
    CommandLine.p_hi
    
    EmacsCommand.p_hi
    
    EmacsTop.p_hi
    
    ExitCode.p_hi
    
    FindFile.p_hi
    
    Imports.p_hi
    
    InteractionTop.p_hi
    
    JSON.p_hi
    
    JSONTop.p_hi
    
    Library.p_hi
    
    MakeCase.p_hi
    
    Monad.p_hi
    
    Options.p_hi
    
    Response.p_hi
    
    SearchAbout.p_hi
    
    Highlighting
    
    Common.p_hi
    
    Dot.p_hi
    
    Emacs.p_hi
    
    FromAbstract.p_hi
    
    Generate.p_hi
    
    HTML.p_hi
    
    JSON.p_hi
    
    LaTeX.p_hi
    
    Precise.p_hi
    
    Range.p_hi
    
    Vim.p_hi
    
    Dot
    
    Backend.p_hi
    
    Base.p_hi
    
    HTML
    
    Backend.p_hi
    
    Base.p_hi
    
    LaTeX
    
    Backend.p_hi
    
    Base.p_hi
    
    Library
    
    Base.p_hi
    
    Parse.p_hi
    
    Options
    
    Base.p_hi
    
    HasOptions.p_hi
    
    Help.p_hi
    
    Lenses.p_hi
    
    Warnings.p_hi
    
    Syntax
    
    Abstract.p_hi
    
    Builtin.p_hi
    
    Common.p_hi
    
    Concrete.p_hi
    
    DoNotation.p_hi
    
    Fixity.p_hi
    
    IdiomBrackets.p_hi
    
    Info.p_hi
    
    Internal.p_hi
    
    Literal.p_hi
    
    Notation.p_hi
    
    Parser.p_hi
    
    Position.p_hi
    
    Reflected.p_hi
    
    TopLevelModuleName.p_hi
    
    Treeless.p_hi
    
    Abstract
    
    Name.p_hi
    
    Pattern.p_hi
    
    PatternSynonyms.p_hi
    
    Pretty.p_hi
    
    UsedNames.p_hi
    
    Views.p_hi
    
    Common
    
    Aspect.p_hi
    
    Pretty.p_hi
    
    Pretty
    
    ANSI.p_hi
    
    Concrete
    
    Attribute.p_hi
    
    Definitions.p_hi
    
    Fixity.p_hi
    
    Generic.p_hi
    
    Glyph.p_hi
    
    Name.p_hi
    
    Operators.p_hi
    
    Pattern.p_hi
    
    Pretty.p_hi
    
    Definitions
    
    Errors.p_hi
    
    Monad.p_hi
    
    Types.p_hi
    
    Operators
    
    Parser.p_hi
    
    Parser
    
    Monad.p_hi
    
    Internal
    
    Blockers.p_hi
    
    Defs.p_hi
    
    Elim.p_hi
    
    Generic.p_hi
    
    MetaVars.p_hi
    
    Names.p_hi
    
    Pattern.p_hi
    
    SanityCheck.p_hi
    
    Univ.p_hi
    
    Parser
    
    Alex.p_hi
    
    Comments.p_hi
    
    Layout.p_hi
    
    LexActions.p_hi
    
    Lexer.p_hi
    
    Literate.p_hi
    
    LookAhead.p_hi
    
    Monad.p_hi
    
    Parser.p_hi
    
    StringLiterals.p_hi
    
    Tokens.p_hi
    
    Scope
    
    Base.p_hi
    
    Flat.p_hi
    
    Monad.p_hi
    
    TopLevelModuleName
    
    Boot.p_hi
    
    Translation
    
    AbstractToConcrete.p_hi
    
    ConcreteToAbstract.p_hi
    
    InternalToAbstract.p_hi
    
    ReflectedToAbstract.p_hi
    
    Termination
    
    CallGraph.p_hi
    
    CallMatrix.p_hi
    
    CutOff.p_hi
    
    Monad.p_hi
    
    Order.p_hi
    
    RecCheck.p_hi
    
    Semiring.p_hi
    
    SparseMatrix.p_hi
    
    TermCheck.p_hi
    
    Termination.p_hi
    
    TypeChecking
    
    Abstract.p_hi
    
    CheckInternal.p_hi
    
    CompiledClause.p_hi
    
    Constraints.p_hi
    
    Conversion.p_hi
    
    Coverage.p_hi
    
    Datatypes.p_hi
    
    DeadCode.p_hi
    
    DisplayForm.p_hi
    
    DropArgs.p_hi
    
    Empty.p_hi
    
    Errors.p_hi
    
    EtaContract.p_hi
    
    Forcing.p_hi
    
    Free.p_hi
    
    Functions.p_hi
    
    Generalize.p_hi
    
    IApplyConfluence.p_hi
    
    Implicit.p_hi
    
    Injectivity.p_hi
    
    Inlining.p_hi
    
    InstanceArguments.p_hi
    
    Irrelevance.p_hi
    
    Level.p_hi
    
    LevelConstraints.p_hi
    
    Lock.p_hi
    
    MetaVars.p_hi
    
    Modalities.p_hi
    
    Monad.p_hi
    
    Names.p_hi
    
    Opacity.p_hi
    
    Polarity.p_hi
    
    Positivity.p_hi
    
    Pretty.p_hi
    
    Primitive.p_hi
    
    ProjectionLike.p_hi
    
    Quote.p_hi
    
    ReconstructParameters.p_hi
    
    RecordPatterns.p_hi
    
    Records.p_hi
    
    Reduce.p_hi
    
    Rewriting.p_hi
    
    Serialise.p_hi
    
    SizedTypes.p_hi
    
    Sort.p_hi
    
    Substitute.p_hi
    
    SyntacticEquality.p_hi
    
    Telescope.p_hi
    
    Unquote.p_hi
    
    Warnings.p_hi
    
    With.p_hi
    
    CompiledClause
    
    Compile.p_hi
    
    Match.p_hi
    
    Conversion
    
    Pure.p_hi
    
    Coverage
    
    Cubical.p_hi
    
    Match.p_hi
    
    SplitClause.p_hi
    
    SplitTree.p_hi
    
    Free
    
    Lazy.p_hi
    
    Precompute.p_hi
    
    Reduce.p_hi
    
    Level
    
    Solve.p_hi
    
    MetaVars
    
    Mention.p_hi
    
    Occurs.p_hi
    
    Monad
    
    Base.p_hi
    
    Benchmark.p_hi
    
    Builtin.p_hi
    
    Caching.p_hi
    
    Closure.p_hi
    
    Constraints.p_hi
    
    Context.p_hi
    
    Debug.p_hi
    
    Env.p_hi
    
    Imports.p_hi
    
    MetaVars.p_hi
    
    Modality.p_hi
    
    Mutual.p_hi
    
    Open.p_hi
    
    Options.p_hi
    
    Pure.p_hi
    
    Signature.p_hi
    
    SizedTypes.p_hi
    
    State.p_hi
    
    Statistics.p_hi
    
    Trace.p_hi
    
    Base
    
    Warning.p_hi
    
    Patterns
    
    Abstract.p_hi
    
    Internal.p_hi
    
    Match.p_hi
    
    Positivity
    
    Occurrence.p_hi
    
    Pretty
    
    Call.p_hi
    
    Constraint.p_hi
    
    Warning.p_hi
    
    Primitive
    
    Base.p_hi
    
    Cubical.p_hi
    
    Cubical
    
    Base.p_hi
    
    Glue.p_hi
    
    HCompU.p_hi
    
    Id.p_hi
    
    Reduce
    
    Fast.p_hi
    
    Monad.p_hi
    
    Rewriting
    
    Clause.p_hi
    
    Confluence.p_hi
    
    NonLinMatch.p_hi
    
    NonLinPattern.p_hi
    
    Rules
    
    Application.p_hi
    
    Builtin.p_hi
    
    Data.p_hi
    
    Decl.p_hi
    
    Def.p_hi
    
    Display.p_hi
    
    LHS.p_hi
    
    Record.p_hi
    
    Term.p_hi
    
    Builtin
    
    Coinduction.p_hi
    
    LHS
    
    Implicit.p_hi
    
    Problem.p_hi
    
    ProblemRest.p_hi
    
    Unify.p_hi
    
    Unify
    
    LeftInverse.p_hi
    
    Types.p_hi
    
    Serialise
    
    Base.p_hi
    
    Instances.p_hi
    
    Instances
    
    Abstract.p_hi
    
    Common.p_hi
    
    Compilers.p_hi
    
    Errors.p_hi
    
    Highlighting.p_hi
    
    Internal.p_hi
    
    SizedTypes
    
    Solve.p_hi
    
    Syntax.p_hi
    
    Utils.p_hi
    
    WarshallSolver.p_hi
    
    Substitute
    
    Class.p_hi
    
    DeBruijn.p_hi
    
    Telescope
    
    Path.p_hi
    
    Utils
    
    AffineHole.p_hi
    
    Applicative.p_hi
    
    AssocList.p_hi
    
    Bag.p_hi
    
    Benchmark.p_hi
    
    BiMap.p_hi
    
    BoolSet.p_hi
    
    Boolean.p_hi
    
    CallStack.p_hi
    
    Char.p_hi
    
    Cluster.p_hi
    
    Either.p_hi
    
    Empty.p_hi
    
    Environment.p_hi
    
    Fail.p_hi
    
    Favorites.p_hi
    
    FileName.p_hi
    
    Float.p_hi
    
    Function.p_hi
    
    Functor.p_hi
    
    Hash.p_hi
    
    HashTable.p_hi
    
    IO.p_hi
    
    IORef.p_hi
    
    Impossible.p_hi
    
    IndexedList.p_hi
    
    Lens.p_hi
    
    List.p_hi
    
    List1.p_hi
    
    List2.p_hi
    
    ListT.p_hi
    
    Map.p_hi
    
    Maybe.p_hi
    
    Memo.p_hi
    
    Monad.p_hi
    
    Monoid.p_hi
    
    Null.p_hi
    
    POMonoid.p_hi
    
    PartialOrd.p_hi
    
    Permutation.p_hi
    
    Pointer.p_hi
    
    ProfileOptions.p_hi
    
    RangeMap.p_hi
    
    SemiRing.p_hi
    
    Semigroup.p_hi
    
    Singleton.p_hi
    
    Size.p_hi
    
    SmallSet.p_hi
    
    String.p_hi
    
    Suffix.p_hi
    
    Three.p_hi
    
    Time.p_hi
    
    Trie.p_hi
    
    Tuple.p_hi
    
    TypeLevel.p_hi
    
    TypeLits.p_hi
    
    Unsafe.p_hi
    
    Update.p_hi
    
    VarSet.p_hi
    
    Warshall.p_hi
    
    WithDefault.p_hi
    
    Zipper.p_hi
    
    CallStack
    
    Base.p_hi
    
    Pretty.p_hi
    
    Graph
    
    TopSort.p_hi
    
    AdjacencyMap
    
    Unidirectional.p_hi
    
    Haskell
    
    Syntax.p_hi
    
    IO
    
    Binary.p_hi
    
    Directory.p_hi
    
    TempFile.p_hi
    
    UTF8.p_hi
    
    IntSet
    
    Infinite.p_hi
    
    Lens
    
    Examples.p_hi
    
    Maybe
    
    Strict.p_hi
    
    Parser
    
    MemoisedCPS.p_hi