Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-Agda-prof | Distribution: Fedora Project |
Version: 2.6.3 | Vendor: Fedora Project |
Release: 40.fc39 | Build date: Sun Jul 30 11:24:36 2023 |
Group: Unspecified | Build host: buildvm-ppc64le-32.iad2.fedoraproject.org |
Size: 422955809 | Source RPM: Agda-2.6.3-40.fc39.src.rpm |
Packager: Fedora Project | |
Url: https://hackage.haskell.org/package/Agda | |
Summary: Haskell Agda profiling library |
This package provides the Haskell Agda profiling library.
MIT and BSD-3-Clause
* Sat Jul 29 2023 Jens Petersen <petersen@redhat.com> - 2.6.3-40 - https://hackage.haskell.org/package/Agda-2.6.3/changelog * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2.2-39 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 11 2023 Jens Petersen <petersen@redhat.com> - drop geniplate-mirror: not needed since 2.6.2 * Sat Feb 18 2023 Jens Petersen <petersen@redhat.com> - 2.6.2.2-38 - refresh to cabal-rpm-2.1.0 including SPDX migration - bump geniplate-mirror to 0.7.9 * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2.2-37 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Mon Jun 20 2022 Jens Petersen <petersen@redhat.com> - add Provides agda * Tue Jun 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36 - https://hackage.haskell.org/package/Agda-2.6.2.2/changelog - disable i686 (#2098425) * Mon Mar 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.1-35 - https://hackage.haskell.org/package/Agda-2.6.2.1/changelog * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-34 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Sat Jan 08 2022 Miro HronĨok <mhroncok@redhat.com> - 2.6.2-33 - Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34 * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 2.6.2-32 - update to 2.6.2 - https://hackage.haskell.org/package/Agda-2.6.2/changelog - disable armv7hl due to out of memory (#73471404) * Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32 - update to 2.6.1.3
/usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/Auto.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/CaseSplit.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/Convert.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/NarrowingSearch.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/Options.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/SearchControl.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/Syntax.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Auto/Typecheck.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Benchmarking.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Backend.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Builtin.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/CallCompiler.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Common.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/JS/Compiler.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/JS/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/JS/Substitution.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/JS/Syntax.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Coerce.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Compiler.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Encode.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/HaskellTypes.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Misc.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Pragmas.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Primitives.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/MAlonzo/Strict.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/ToTreeless.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/AsPatterns.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Builtin.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Compare.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/EliminateDefaults.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/EliminateLiteralPatterns.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Erase.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/GuardsToPrims.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Identity.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/NormalizeNames.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Simplify.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Subst.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Uncase.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Compiler/Treeless/Unused.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/ImpossibleTest.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/AgdaTop.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/BasicOps.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/CommandLine.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/EmacsCommand.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/EmacsTop.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/ExitCode.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/FindFile.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Common.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Dot.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Dot/Backend.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Dot/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Emacs.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/FromAbstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Generate.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/HTML.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/HTML/Backend.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/HTML/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/JSON.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/LaTeX.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/LaTeX/Backend.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/LaTeX/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Precise.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Range.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Highlighting/Vim.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Imports.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/InteractionTop.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/JSON.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/JSONTop.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Library.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Library/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Library/Parse.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/MakeCase.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Options.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Options/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Options/HasOptions.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Options/Help.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Options/Lenses.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Options/Warnings.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/Response.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Interaction/SearchAbout.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Main.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Abstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Abstract/Name.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Abstract/Pattern.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Abstract/PatternSynonyms.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Abstract/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Abstract/Views.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Builtin.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Common.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Attribute.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Definitions.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Definitions/Errors.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Definitions/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Definitions/Types.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Fixity.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Generic.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Glyph.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Name.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Operators.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Operators/Parser.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Operators/Parser/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Pattern.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Concrete/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/DoNotation.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Fixity.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/IdiomBrackets.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Info.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/Blockers.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/Defs.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/Elim.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/Generic.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/MetaVars.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/Names.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/Pattern.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Internal/SanityCheck.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Literal.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Notation.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Alex.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Comments.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Layout.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/LexActions.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Lexer.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Literate.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/LookAhead.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Parser.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/StringLiterals.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Parser/Tokens.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Position.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Reflected.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Scope/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Scope/Flat.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Scope/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/TopLevelModuleName.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Translation/AbstractToConcrete.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Translation/ConcreteToAbstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Translation/InternalToAbstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Translation/ReflectedToAbstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Syntax/Treeless.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/CallGraph.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/CallMatrix.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/CutOff.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/Order.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/RecCheck.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/Semiring.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/SparseMatrix.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/TermCheck.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Termination/Termination.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TheTypeChecker.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Abstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/CheckInternal.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/CompiledClause.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/CompiledClause/Compile.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/CompiledClause/Match.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Constraints.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Conversion.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Conversion/Pure.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Coverage.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Coverage/Cubical.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Coverage/Match.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Coverage/SplitClause.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Coverage/SplitTree.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Datatypes.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/DeadCode.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/DisplayForm.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/DropArgs.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Empty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Errors.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/EtaContract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/EtaExpand.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Forcing.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Free.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Free/Lazy.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Free/Precompute.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Free/Reduce.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Functions.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Generalize.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/IApplyConfluence.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Implicit.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Injectivity.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Inlining.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/InstanceArguments.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Irrelevance.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Level.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Level/Solve.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/LevelConstraints.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Lock.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/MetaVars.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/MetaVars/Mention.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/MetaVars/Occurs.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Benchmark.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Builtin.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Caching.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Closure.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Constraints.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Context.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Debug.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Env.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Imports.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/MetaVars.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Mutual.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Open.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Options.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Pure.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Signature.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/SizedTypes.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/State.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Statistics.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Monad/Trace.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Names.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Patterns/Abstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Patterns/Internal.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Patterns/Match.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Polarity.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Positivity.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Positivity/Occurrence.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Pretty/Call.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Pretty/Constraint.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Pretty/Warning.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive/Cubical.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive/Cubical/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive/Cubical/Glue.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive/Cubical/HCompU.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Primitive/Cubical/Id.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/ProjectionLike.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Quote.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/ReconstructParameters.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/RecordPatterns.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Records.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Reduce.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Reduce/Fast.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Reduce/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rewriting.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rewriting/Clause.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rewriting/Confluence.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rewriting/NonLinMatch.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rewriting/NonLinPattern.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Application.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Builtin.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Builtin/Coinduction.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Data.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Decl.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Def.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Display.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS/Implicit.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS/Problem.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS/ProblemRest.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS/Unify.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/LHS/Unify/Types.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Record.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Rules/Term.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances/Abstract.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances/Common.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances/Compilers.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances/Errors.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances/Highlighting.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Serialise/Instances/Internal.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/SizedTypes.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/SizedTypes/Solve.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/SizedTypes/Syntax.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/SizedTypes/Utils.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/SizedTypes/WarshallSolver.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Sort.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Substitute.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Substitute/Class.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Substitute/DeBruijn.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/SyntacticEquality.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Telescope.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Telescope/Path.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Unquote.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/Warnings.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/TypeChecking/With.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/AffineHole.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Applicative.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/AssocList.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Bag.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Benchmark.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/BiMap.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/BoolSet.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/CallStack.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/CallStack/Base.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/CallStack/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Char.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Cluster.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Either.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Empty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Environment.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Fail.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Favorites.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/FileName.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Float.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Function.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Functor.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Graph/AdjacencyMap/Unidirectional.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Graph/TopSort.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Hash.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/HashTable.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Haskell/Syntax.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IO.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IO/Binary.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IO/Directory.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IO/TempFile.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IO/UTF8.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IORef.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Impossible.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IndexedList.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/IntSet/Infinite.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Lens.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Lens/Examples.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/List.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/List1.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/List2.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/ListT.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Map.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Maybe.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Maybe/Strict.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Memo.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Monad.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Monoid.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Null.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/POMonoid.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Parser/MemoisedCPS.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/PartialOrd.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Permutation.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Pointer.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Pretty.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/ProfileOptions.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/RangeMap.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/SemiRing.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Semigroup.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Singleton.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Size.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/SmallSet.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/String.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Suffix.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Three.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Time.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Trie.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Tuple.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/TypeLevel.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/TypeLits.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Update.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/VarSet.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Warshall.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/WithDefault.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Utils/Zipper.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/Version.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Agda/VersionCommit.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/Paths_Agda.p_hi /usr/lib64/ghc-9.4.5/lib/Agda-2.6.3/libHSAgda-2.6.3-EBoQxbjL2RR9MkX5bUIWQv_p.a
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 22:23:46 2024