libghc-agda-dev (2.8.0-2build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- agda
- Architecture
- amd64
- Section
- universe/haskell
- Priority
- extra
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 613.2 kB
- Size expected
- 39.2 MB
- Size actual
- 39.2 MB
- Size match
Dependencies
Required package dependencies
- libghc-aeson-dev-2.2.3.0-cb63e
- libghc-ansi-terminal-dev-1.1.5-70b23
- libghc-array-dev-0.5.8.0-fa0dd
- libghc-async-dev-2.2.5-468d2
- libghc-base-dev-4.20.2.0-47ff0
- libghc-binary-dev-0.8.9.3-9841b
- libghc-blaze-html-dev-0.9.2.0-0dac0
- libghc-boxes-dev-0.1.5-1834f
- libghc-bytestring-dev-0.12.2.0-d528c
- libghc-case-insensitive-dev-1.2.1.0-56e26
- libghc-containers-dev-0.7-0c6d4
- libghc-data-hash-dev-0.2.0.1-7d1bb
- libghc-deepseq-dev-1.5.0.0-d390d
- libghc-directory-dev-1.3.8.5-1f094
- libghc-dlist-dev-1.0-761a6
- libghc-edit-distance-dev-0.2.2.1-fed42
- libghc-enummapset-dev-0.7.3.0-b47c5
- libghc-equivalence-dev-0.4.1.1-d6cd4
- libghc-exceptions-dev-0.10.9-d3a18
- libghc-filelock-dev-0.1.1.8-d0beb
- libghc-filemanip-dev-0.3.6.3-8c296
- libghc-filepath-dev-1.5.4.0-29dd7
- libghc-generic-data-dev-1.1.0.2-b1442
- libghc-ghc-compact-dev-0.1.0.0-4dfe6
- libghc-gitrev-dev-1.3.1-616c7
- libghc-hashable-dev-1.5.0.0-6b1a9
- libghc-haskeline-dev-0.8.2.1-87004
- libghc-monad-control-dev-1.0.3.1-15977
- libghc-mtl-dev-2.3.1-edf82
- libghc-murmur-hash-dev-0.1.0.11-3eeae
- libghc-nonempty-containers-dev-0.3.5.0-8f957
- libghc-parallel-dev-3.2.2.0-19b5c
- libghc-peano-dev-0.1.0.3-af10a
- libghc-pqueue-dev-1.5.0.0-c34f3
- libghc-pretty-dev-1.1.3.6-f6a4f
- libghc-process-dev-1.6.26.1-92ff0
- libghc-process-extras-dev-0.7.4-53bcd
- libghc-regex-tdfa-dev-1.3.2.5-e9355
- libghc-split-dev-0.2.5-1ef76
- libghc-stm-dev-2.5.3.1-e22ee
- libghc-stmonadtrans-dev-0.4.8.1-1d4ab
- libghc-strict-dev-0.5.1-5262c
- libghc-template-haskell-dev-2.22.0.0-5bb6e
- libghc-text-dev-2.1.3-8ae9a
- libghc-time-dev-1.12.2-3b111
- libghc-transformers-dev-0.6.1.1-26140
- libghc-unordered-containers-dev-0.2.20.1-0d733
- libghc-uri-encode-dev-1.5.0.7-f9375
- libghc-vector-dev-0.13.2.0-57b80
- libghc-vector-hashtables-dev-0.1.2.1-af15d
- libghc-zlib-dev-0.7.1.1-2c433
- libc6 (>= 2.29)
- libgmp10 (>= 2:6.3.0+dfsg)
- libtinfo6 (>= 6)
- zlib1g (>= 1:1.1.4)
Suggested packages
Recommended additional packages
- None
Description
dependently typed functional programming language
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 6d5871ef…da5673d5 | |
| SHA-1 | b0c01b54…7a9afe34 | |
| SHA-256 | 89289cb7…d992d3bb | |
| SHA-512 | fcfbee6e…2166f447 |
Contents
Files and directories included
. usr usr/lib usr/lib/haskell-packages usr/lib/haskell-packages/ghc usr/lib/haskell-packages/ghc/lib usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Benchmarking.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Benchmarking.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Backend usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Backend/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Backend/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Backend.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Builtin.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/CallCompiler.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/CallCompiler.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Common.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Compiler.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Compiler.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Substitution.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Substitution.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Syntax.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/JS/Syntax.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Coerce.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Coerce.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Compiler.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Compiler.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Encode.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Encode.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/HaskellTypes.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/HaskellTypes.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Misc.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Misc.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Pragmas.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Pragmas.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Primitives.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Primitives.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Strict.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/MAlonzo/Strict.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/ToTreeless.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/ToTreeless.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/AsPatterns.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/AsPatterns.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Builtin.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Compare.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Compare.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/EliminateDefaults.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/EliminateDefaults.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/EliminateLiteralPatterns.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Erase.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Erase.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/GuardsToPrims.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/GuardsToPrims.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Identity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Identity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/NormalizeNames.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/NormalizeNames.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Simplify.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Simplify.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Subst.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Subst.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Uncase.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Uncase.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Unused.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Compiler/Treeless/Unused.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/ImpossibleTest.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/ImpossibleTest.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/AgdaTop.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/AgdaTop.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/BasicOps.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/BasicOps.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/BuildLibrary.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/BuildLibrary.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Command.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Command.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/CommandLine.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/CommandLine.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/EmacsCommand.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/EmacsCommand.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/EmacsTop.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/EmacsTop.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/ExitCode.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/ExitCode.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/FindFile.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/FindFile.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Common.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot/Backend.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Dot.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Emacs.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Emacs.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/FromAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/FromAbstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Generate.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Generate.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML/Backend.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/HTML.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/JSON.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/JSON.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX/Backend.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/LaTeX.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Precise.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Precise.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Range.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Range.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Vim.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Highlighting/Vim.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Imports.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Imports.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/InteractionTop.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/InteractionTop.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/JSON.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/JSON.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/JSONTop.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/JSONTop.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library/Parse.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library/Parse.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Library.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/MakeCase.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/MakeCase.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Errors.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/HasOptions.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/HasOptions.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Help.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Help.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Lenses.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Lenses.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Types.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Warnings.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options/Warnings.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Options.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Output.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Output.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Response usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Response/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Response/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Response.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/Response.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/SearchAbout.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Interaction/SearchAbout.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Main.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Main.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Mimer usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Mimer/Mimer.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Mimer/Mimer.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Mimer/Options.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Mimer/Options.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup/DataFiles.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup/DataFiles.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup/EmacsMode.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup/EmacsMode.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Setup.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Name.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Name.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Pattern.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Pattern.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/PatternSynonyms.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/PatternSynonyms.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/UsedNames.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/UsedNames.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Views.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract/Views.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Abstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Builtin.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Aspect.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Aspect.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/KeywordRange.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/KeywordRange.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Pretty usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Pretty/ANSI.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Pretty/ANSI.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Common.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Attribute.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Attribute.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions/Errors.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions/Types.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Definitions.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Fixity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Fixity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Generic.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Generic.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Glyph.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Glyph.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Name.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Name.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators/Parser usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators/Parser/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators/Parser.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Operators.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Pattern.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Pattern.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Concrete.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/DoNotation.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/DoNotation.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Fixity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Fixity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/IdiomBrackets.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/IdiomBrackets.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Info.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Info.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Blockers.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Blockers.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Defs.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Defs.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Elim.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Elim.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Generic.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Generic.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/MetaVars.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/MetaVars.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Names.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Names.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Pattern.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Pattern.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/SanityCheck.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/SanityCheck.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Univ.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal/Univ.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Internal.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Literal.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Literal.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Notation.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Notation.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Alex.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Alex.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Comments.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Comments.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Helpers.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Helpers.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Layout.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Layout.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/LexActions.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/LexActions.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Lexer.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Lexer.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Literate.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Literate.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/LookAhead.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/LookAhead.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Parser.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/StringLiterals.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/StringLiterals.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Tokens.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser/Tokens.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Parser.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Position.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Position.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Reflected.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Reflected.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope/Flat.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope/Flat.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Scope/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/TopLevelModuleName usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/TopLevelModuleName/Boot.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/TopLevelModuleName/Boot.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/TopLevelModuleName.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/TopLevelModuleName.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/AbstractToConcrete.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/AbstractToConcrete.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/ConcreteToAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/ConcreteToAbstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/InternalToAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/InternalToAbstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/ReflectedToAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Translation/ReflectedToAbstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Treeless.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Syntax/Treeless.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/CallGraph.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/CallGraph.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/CallMatrix.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/CallMatrix.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/CutOff.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/CutOff.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Order.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Order.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/RecCheck.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/RecCheck.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Semiring.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Semiring.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/SparseMatrix.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/SparseMatrix.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/TermCheck.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/TermCheck.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Termination.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Termination/Termination.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TheTypeChecker.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TheTypeChecker.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Abstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CheckInternal.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CheckInternal.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause/Compile.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause/Compile.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause/Match.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause/Match.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/CompiledClause.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Constraints.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Constraints.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Conversion usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Conversion/Pure.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Conversion/Pure.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Conversion.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Conversion.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/Cubical.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/Cubical.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/Match.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/Match.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/SplitClause.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/SplitClause.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/SplitTree.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage/SplitTree.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Coverage.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Datatypes.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Datatypes.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DeadCode.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DeadCode.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DiscrimTree usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DiscrimTree/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DiscrimTree/Types.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DiscrimTree.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DiscrimTree.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DisplayForm.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DisplayForm.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DropArgs.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/DropArgs.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Empty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Empty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Errors usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Errors/Names.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Errors/Names.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Errors.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/EtaContract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/EtaContract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Forcing.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Forcing.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free/Lazy.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free/Lazy.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free/Precompute.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free/Precompute.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free/Reduce.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free/Reduce.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Free.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Functions.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Functions.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Generalize.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Generalize.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/IApplyConfluence.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/IApplyConfluence.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Implicit.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Implicit.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Injectivity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Injectivity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Inlining.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Inlining.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/InstanceArguments.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/InstanceArguments.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Irrelevance.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Irrelevance.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Level usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Level/Solve.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Level/Solve.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Level.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Level.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/LevelConstraints.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/LevelConstraints.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Lock.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Lock.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars/Mention.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars/Mention.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars/Occurs.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars/Occurs.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/MetaVars.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Modalities.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Modalities.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base/Types.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base/Warning.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base/Warning.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Benchmark.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Benchmark.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Builtin.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Caching.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Caching.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Closure.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Closure.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Constraints.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Constraints.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Context.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Context.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Debug.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Debug.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Env.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Env.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Imports.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Imports.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/MetaVars.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/MetaVars.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Modality.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Modality.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Mutual.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Mutual.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Open.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Open.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Options.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Options.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Pure.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Pure.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Signature.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Signature.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/SizedTypes.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/SizedTypes.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/State.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/State.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Statistics.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Statistics.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Trace.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad/Trace.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Names.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Names.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Opacity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Opacity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns/Abstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns/Internal.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns/Internal.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns/Match.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Patterns/Match.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Polarity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Polarity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Positivity usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Positivity/Occurrence.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Positivity/Occurrence.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Positivity.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Positivity.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty/Call.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty/Call.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty/Constraint.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty/Constraint.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty/Warning.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty/Warning.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical/Glue.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical/Glue.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical/HCompU.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical/HCompU.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive/Cubical.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Primitive.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/ProjectionLike.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/ProjectionLike.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Quote.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Quote.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/ReconstructParameters.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/ReconstructParameters.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/RecordPatterns.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/RecordPatterns.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Records.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Records.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce/Fast.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce/Fast.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Reduce.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/Clause.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/Clause.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/Confluence.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/Confluence.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/NonLinMatch.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting/NonLinPattern.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rewriting.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Application.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Application.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Builtin usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Builtin/Coinduction.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Builtin.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Data.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Data.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Decl.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Decl.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Def.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Def.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Display.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Display.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Implicit.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Implicit.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Problem.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Problem.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/ProblemRest.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify/Types.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS/Unify.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/LHS.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Record.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Record.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Term.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Rules/Term.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Abstract.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Common.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Compilers.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Errors.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Highlighting.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Internal.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances/Internal.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise/Instances.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Serialise.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Solve.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Solve.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Syntax.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Syntax.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Utils.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/Utils.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes/WarshallSolver.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SizedTypes.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Sort.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Sort.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute/Class.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute/Class.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute/DeBruijn.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute/DeBruijn.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Substitute.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SyntacticEquality.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/SyntacticEquality.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Telescope usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Telescope/Path.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Telescope/Path.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Telescope.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Telescope.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Unquote.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Unquote.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Warnings.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/Warnings.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/With.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/TypeChecking/With.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/AffineHole.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/AffineHole.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Applicative.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Applicative.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/AssocList.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/AssocList.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Bag.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Bag.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Benchmark.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Benchmark.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/BiMap.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/BiMap.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/BoolSet.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/BoolSet.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Boolean.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack/Base.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack/Pretty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/CallStack.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Char.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Char.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Cluster.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Cluster.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Either.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Either.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Empty.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Empty.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Environment.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Environment.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Fail.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Fail.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Favorites.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Favorites.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/FileId.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/FileId.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/FileName.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/FileName.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Float.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Float.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Function.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Function.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Functor.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Functor.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/GetOpt.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/GetOpt.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Graph usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Graph/AdjacencyMap usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Graph/TopSort.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Graph/TopSort.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Hash.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Hash.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/HashTable.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/HashTable.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Haskell usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Haskell/Syntax.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Haskell/Syntax.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IArray.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IArray.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/Binary.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/Binary.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/Directory.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/Directory.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/TempFile.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/TempFile.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/UTF8.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO/UTF8.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IO.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IORef.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IORef.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Impossible.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Impossible.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IndexedList.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IndexedList.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IntSet usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IntSet/Infinite.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/IntSet/Infinite.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Lens usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Lens/Examples.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Lens/Examples.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Lens.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Lens.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/List.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/List.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/List1.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/List1.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/List2.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/List2.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/ListT.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/ListT.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Map.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Map1.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Map1.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Maybe usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Maybe/Strict.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Maybe/Strict.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Maybe.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Maybe.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Memo.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Memo.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Monad.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Monoid.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Monoid.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Null.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Null.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/POMonoid.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/POMonoid.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Parser usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Parser/MemoisedCPS.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Parser/MemoisedCPS.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/PartialOrd.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/PartialOrd.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Permutation.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Permutation.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/ProfileOptions.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/ProfileOptions.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/RangeMap.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/RangeMap.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/SemiRing.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/SemiRing.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Semigroup.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Semigroup.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Set1.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Set1.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Singleton.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Singleton.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Size.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Size.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/SmallSet.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/SmallSet.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/String.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/String.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Suffix.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Suffix.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Three.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Three.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Time.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Time.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Trie.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Trie.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Tuple.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Tuple.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/TypeLevel.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/TypeLevel.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/TypeLits.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/TypeLits.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Unsafe.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Unsafe.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Update.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Update.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/VarSet.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/VarSet.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/WithDefault.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/WithDefault.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Zipper.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Utils/Zipper.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Version.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/Version.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/VersionCommit.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Agda/VersionCommit.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Paths_Agda.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/Paths_Agda.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/Agda-2.8.0-DJrTbcOFazJDzri4fKrI2F/libHSAgda-2.8.0-DJrTbcOFazJDzri4fKrI2F.a usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/libHSAgda-2.8.0-DJrTbcOFazJDzri4fKrI2F-ghc9.10.3.so usr/share usr/share/doc usr/share/doc/libghc-agda-dev usr/share/doc/libghc-agda-dev/changelog.Debian.gz usr/share/doc/libghc-agda-dev/copyright usr/share/libghc-agda-dev usr/share/libghc-agda-dev/JS usr/share/libghc-agda-dev/JS/agda-rts.amd.js usr/share/libghc-agda-dev/JS/agda-rts.js usr/share/libghc-agda-dev/JS/agda-rts.mjs usr/share/libghc-agda-dev/MAlonzo usr/share/libghc-agda-dev/MAlonzo/src usr/share/libghc-agda-dev/MAlonzo/src/MAlonzo usr/share/libghc-agda-dev/MAlonzo/src/MAlonzo/RTE usr/share/libghc-agda-dev/MAlonzo/src/MAlonzo/RTE/Float.hs usr/share/libghc-agda-dev/MAlonzo/src/MAlonzo/RTE.hs usr/share/libghc-agda-dev/html usr/share/libghc-agda-dev/html/Agda.css usr/share/libghc-agda-dev/html/highlight-hover.js usr/share/libghc-agda-dev/lib usr/share/libghc-agda-dev/lib/prim usr/share/libghc-agda-dev/lib/prim/Agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Bool.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char/Properties.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Char.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Coinduction.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Equiv.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Glue.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/HCompU.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Path.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Cubical/Sub.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Erase.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality/Rewrite.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Equality.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float/Properties.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Float.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNat.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromNeg.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/FromString.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/IO.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Int.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/List.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Maybe.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Nat.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/External.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection/Properties.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Reflection.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Sigma.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Size.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Strict.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String/Properties.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/String.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/TrustMe.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Unit.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word/Properties.agda usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/Word.agda usr/share/libghc-agda-dev/lib/prim/Agda/Primitive usr/share/libghc-agda-dev/lib/prim/Agda/Primitive/Cubical.agda usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda usr/share/libghc-agda-dev/lib/prim/_build usr/share/libghc-agda-dev/lib/prim/_build/2.8.0 usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Bool.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Char usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Char/Properties.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Char.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Coinduction.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Equiv.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Glue.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/HCompU.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Path.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Cubical/Sub.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality/Erase.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality/Rewrite.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Equality.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Float usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Float/Properties.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Float.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/FromNat.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/FromNeg.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/FromString.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/IO.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Int.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/List.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Maybe.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Nat.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection/External.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection/Properties.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Reflection.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Sigma.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Size.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Strict.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/String usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/String/Properties.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/String.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/TrustMe.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Unit.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Word usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Word/Properties.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Builtin/Word.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Primitive usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Primitive/Cubical.agdai usr/share/libghc-agda-dev/lib/prim/_build/2.8.0/agda/Agda/Primitive.agdai usr/share/libghc-agda-dev/lib/prim/agda-builtins.agda-lib var var/lib var/lib/ghc var/lib/ghc/package.conf.d var/lib/ghc/package.conf.d/Agda-2.8.0.conf