ghc-Agda-prof-2.6.4.3-50.fc41 RPM for x86_64

From Fedora 41 for x86_64 / g

This package provides the Haskell Agda profiling library.

Provides

• ghc-Agda-prof
• ghc-Agda-prof(x86-64)
• ghc-prof(Agda-2.6.4.3-KuZT4VmNjBe9gJtM8D5nF8)

Requires

• ghc-Agda-devel(x86-64) = 2.6.4.3-50.fc41
• ghc-prof(STMonadTrans-0.4.8-Jdu2Aai6G1LKixHH6QDJMH)
• ghc-prof(aeson-2.1.2.1-D0qQe3CNlvvLYKUgPcjbMF)
• ghc-prof(ansi-terminal-1.0.2-BAf8I876hPhJFEtshgOsOs)
• ghc-prof(array-0.5.6.0)
• ghc-prof(async-2.2.5-GMWeTaoaded4Wz7DAkFLAR)
• ghc-prof(base-4.18.2.1)
• ghc-prof(binary-0.8.9.1)
• ghc-prof(blaze-html-0.9.2.0-82IrCjcfxKJFkd2A5SPiKs)
• ghc-prof(boxes-0.1.5-1BZ4VWntABL6pmzqamGJA8)
• ghc-prof(bytestring-0.11.5.3)
• ghc-prof(case-insensitive-1.2.1.0-Ig8WgaPQ5k4KQd4WU8lDCy)
• ghc-prof(containers-0.6.7)
• ghc-prof(data-hash-0.2.0.1-1C4EVdQanf6FeWnxYb8Ttu)
• ghc-prof(deepseq-1.4.8.1)
• ghc-prof(directory-1.3.8.5)
• ghc-prof(dlist-1.0-7vDlnn0Hdvg35SyXLwMaWr)
• ghc-prof(edit-distance-0.2.2.1-8dkjojky6bb1wovAKsZNKv)
• ghc-prof(equivalence-0.4.1-EnlwWwCktBW51EPpS3NlIf)
• ghc-prof(exceptions-0.10.7)
• ghc-prof(filepath-1.4.300.1)
• ghc-prof(ghc-compact-0.1.0.0)
• ghc-prof(gitrev-1.3.1-Hgj6OsBlk7sBP78WE2r3Dn)
• ghc-prof(hashable-1.4.4.0-G2ZOstJIf88CQkCQLrODQe)
• ghc-prof(haskeline-0.8.2.1)
• ghc-prof(monad-control-1.0.3.1-EprGtcAOKGn9NqvyfagEjE)
• ghc-prof(mtl-2.3.1)
• ghc-prof(murmur-hash-0.1.0.10-58qZbDratG5CQKhLmUsNgp)
• ghc-prof(parallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD)
• ghc-prof(peano-0.1.0.2-A7YmUXRwiBXL0QBdEj2RqY)
• ghc-prof(pretty-1.1.3.6)
• ghc-prof(process-1.6.19.0)
• ghc-prof(regex-tdfa-1.3.2.2-5RMyPk43J4gDSWcjYl0OpF)
• ghc-prof(split-0.2.5-5qpEwx7qUv6FlaHbX7jgA2)
• ghc-prof(stm-2.5.1.0)
• ghc-prof(strict-0.5-2Ih5J4boI0o4YQYnrtRDYI)
• ghc-prof(text-2.0.2)
• ghc-prof(text-icu-0.8.0.5-J4CrrSP4KzK5QaMFh5FAQZ)
• ghc-prof(time-1.12.2)
• ghc-prof(time-compat-1.9.6.1-GW1Nw3Nvkk39bFykE9AmZ0)
• ghc-prof(transformers-0.6.1.0)
• ghc-prof(unordered-containers-0.2.20-EuYFGw8XOtG6Qjyq0KzKlk)
• ghc-prof(uri-encode-1.5.0.7-FMYFkkIUv4tDYyypWrKQzH)
• ghc-prof(vector-0.13.1.0-Jdel1KiNlSEIXGg2MpN3IL)
• ghc-prof(vector-hashtables-0.1.2.0-7SJ86vtAMbkJB7NmYyKITZ)
• ghc-prof(zlib-0.6.3.0-1wL1ZnD0mNDIbG0f7fYWIS)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rpmlib(RichDependencies) <= 4.12.0-1

License

MIT AND BSD-3-Clause

Changelog

* Sun Jul 21 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.3-50
  - update vector-hashtables to 0.1.2.0
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.3-49
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Sat May 18 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.3-48
  - update to 2.6.4.3
  - https://hackage.haskell.org/package/Agda-2.6.4.2/changelog
  - https://hackage.haskell.org/package/Agda-2.6.4.3/changelog
* Tue Feb 20 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.1-47
  - rawhide: enable-cluster-counting with text-icu
  - update vector-hashtables to 0.1.1.4
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-46
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-45
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-44
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Dec 07 2023 Jens Petersen <petersen@redhat.com> - 2.6.4.1-43
  - https://hackage.haskell.org/package/Agda-2.6.4.1/changelog
  - update peano to 0.1.0.2
* Tue Oct 17 2023 Jens Petersen <petersen@redhat.com> - 2.6.4-42
  - F40: enable optimise-heavily flag
* Mon Oct 09 2023 Jens Petersen <petersen@redhat.com> - 2.6.4-41
  - update to 2.6.4
  - https://hackage.haskell.org/package/Agda-2.6.4/changelog
* 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

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 27 02:54:38 2024