libghc-agda-dev (2.8.0-2)
3 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- agda
- Architecture
- i386
- Section
- haskell
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 562.5 kB
- Size expected
- 38.2 MB
- Size actual
- 38.2 MB
- Size match
Dependencies
Required package dependencies
- libghc-aeson-dev-2.2.3.0-48fe4
- libghc-ansi-terminal-dev-1.1.5-9bc8f
- libghc-array-dev-0.5.8.0-c4336
- libghc-async-dev-2.2.5-79310
- libghc-base-dev-4.20.2.0-62d1f
- libghc-binary-dev-0.8.9.3-efd69
- libghc-blaze-html-dev-0.9.2.0-a3227
- libghc-boxes-dev-0.1.5-17452
- libghc-bytestring-dev-0.12.2.0-a5c2d
- libghc-case-insensitive-dev-1.2.1.0-4b119
- libghc-containers-dev-0.7-e6ef6
- libghc-data-hash-dev-0.2.0.1-c8701
- libghc-deepseq-dev-1.5.0.0-81203
- libghc-directory-dev-1.3.8.5-98932
- libghc-dlist-dev-1.0-1be63
- libghc-edit-distance-dev-0.2.2.1-4158b
- libghc-enummapset-dev-0.7.3.0-9992d
- libghc-equivalence-dev-0.4.1.1-3dc0b
- libghc-exceptions-dev-0.10.9-0cd6e
- libghc-filelock-dev-0.1.1.8-46750
- libghc-filemanip-dev-0.3.6.3-21bc8
- libghc-filepath-dev-1.5.4.0-6f69d
- libghc-generic-data-dev-1.1.0.2-5af29
- libghc-ghc-compact-dev-0.1.0.0-95a34
- libghc-gitrev-dev-1.3.1-99892
- libghc-hashable-dev-1.5.0.0-ba1a3
- libghc-haskeline-dev-0.8.2.1-faf60
- libghc-monad-control-dev-1.0.3.1-29fa6
- libghc-mtl-dev-2.3.1-a7bc5
- libghc-murmur-hash-dev-0.1.0.11-a6a7d
- libghc-nonempty-containers-dev-0.3.5.0-c5be9
- libghc-parallel-dev-3.2.2.0-ce570
- libghc-peano-dev-0.1.0.3-7ee1a
- libghc-pqueue-dev-1.5.0.0-a7f6c
- libghc-pretty-dev-1.1.3.6-a5542
- libghc-process-dev-1.6.26.1-713a8
- libghc-process-extras-dev-0.7.4-39589
- libghc-regex-tdfa-dev-1.3.2.5-1b5a6
- libghc-split-dev-0.2.5-54a29
- libghc-stm-dev-2.5.3.1-c6719
- libghc-stmonadtrans-dev-0.4.8.1-f55c8
- libghc-strict-dev-0.5.1-e625a
- libghc-template-haskell-dev-2.22.0.0-8f18d
- libghc-text-dev-2.1.3-07dea
- libghc-time-dev-1.12.2-5035c
- libghc-transformers-dev-0.6.1.1-fe3a5
- libghc-unordered-containers-dev-0.2.20.1-f5d74
- libghc-uri-encode-dev-1.5.0.7-23233
- libghc-vector-dev-0.13.2.0-fe421
- libghc-vector-hashtables-dev-0.1.2.1-d578e
- libghc-zlib-dev-0.7.1.1-30b25
- 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 | 3160f2cd…fcd0259e | |
| SHA-1 | 5ef1d071…1fc2f06a | |
| SHA-256 | f56a02b6…2957e80a | |
| SHA-512 | 00508475…a868d866 |
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/i386-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4 usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Benchmarking.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Benchmarking.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Backend usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Backend/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Backend/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Backend.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Builtin.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/CallCompiler.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/CallCompiler.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Common.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Compiler.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Compiler.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Substitution.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Substitution.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Syntax.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/JS/Syntax.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Coerce.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Coerce.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Compiler.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Compiler.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Encode.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Encode.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/HaskellTypes.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/HaskellTypes.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Misc.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Misc.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Pragmas.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Pragmas.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Primitives.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Primitives.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Strict.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/MAlonzo/Strict.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/ToTreeless.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/ToTreeless.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/AsPatterns.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/AsPatterns.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Builtin.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Compare.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Compare.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/EliminateDefaults.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/EliminateDefaults.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/EliminateLiteralPatterns.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Erase.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Erase.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/GuardsToPrims.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/GuardsToPrims.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Identity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Identity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/NormalizeNames.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/NormalizeNames.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Simplify.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Simplify.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Subst.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Subst.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Uncase.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Uncase.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Unused.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Compiler/Treeless/Unused.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/ImpossibleTest.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/ImpossibleTest.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/AgdaTop.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/AgdaTop.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/BasicOps.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/BasicOps.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/BuildLibrary.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/BuildLibrary.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Command.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Command.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/CommandLine.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/CommandLine.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/EmacsCommand.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/EmacsCommand.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/EmacsTop.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/EmacsTop.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/ExitCode.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/ExitCode.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/FindFile.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/FindFile.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Common.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot/Backend.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Dot.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Emacs.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Emacs.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/FromAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/FromAbstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Generate.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Generate.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML/Backend.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/HTML.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/JSON.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/JSON.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX/Backend.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX/Backend.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/LaTeX.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Precise.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Precise.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Range.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Range.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Vim.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Highlighting/Vim.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Imports.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Imports.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/InteractionTop.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/InteractionTop.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/JSON.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/JSON.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/JSONTop.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/JSONTop.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library/Parse.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library/Parse.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Library.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/MakeCase.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/MakeCase.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Errors.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/HasOptions.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/HasOptions.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Help.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Help.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Lenses.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Lenses.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Types.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Warnings.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options/Warnings.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Options.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Output.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Output.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Response usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Response/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Response/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Response.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/Response.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/SearchAbout.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Interaction/SearchAbout.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Main.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Main.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Mimer usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Mimer/Mimer.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Mimer/Mimer.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Mimer/Options.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Mimer/Options.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup/DataFiles.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup/DataFiles.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup/EmacsMode.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup/EmacsMode.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Setup.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Name.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Name.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Pattern.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Pattern.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/PatternSynonyms.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/PatternSynonyms.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/UsedNames.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/UsedNames.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Views.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract/Views.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Abstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Builtin.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Aspect.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Aspect.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/KeywordRange.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/KeywordRange.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Pretty usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Pretty/ANSI.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Pretty/ANSI.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Common.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Attribute.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Attribute.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions/Errors.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions/Types.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Definitions.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Fixity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Fixity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Generic.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Generic.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Glyph.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Glyph.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Name.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Name.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators/Parser usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators/Parser/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators/Parser.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Operators.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Pattern.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Pattern.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Concrete.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/DoNotation.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/DoNotation.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Fixity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Fixity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/IdiomBrackets.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/IdiomBrackets.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Info.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Info.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Blockers.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Blockers.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Defs.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Defs.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Elim.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Elim.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Generic.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Generic.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/MetaVars.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/MetaVars.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Names.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Names.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Pattern.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Pattern.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/SanityCheck.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/SanityCheck.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Univ.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal/Univ.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Internal.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Literal.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Literal.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Notation.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Notation.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Alex.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Alex.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Comments.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Comments.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Helpers.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Helpers.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Layout.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Layout.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/LexActions.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/LexActions.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Lexer.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Lexer.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Literate.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Literate.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/LookAhead.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/LookAhead.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Parser.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/StringLiterals.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/StringLiterals.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Tokens.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser/Tokens.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Parser.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Position.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Position.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Reflected.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Reflected.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope/Flat.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope/Flat.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Scope/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/TopLevelModuleName usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/TopLevelModuleName/Boot.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/TopLevelModuleName/Boot.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/TopLevelModuleName.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/TopLevelModuleName.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/AbstractToConcrete.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/AbstractToConcrete.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/ConcreteToAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/ConcreteToAbstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/InternalToAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/InternalToAbstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/ReflectedToAbstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Translation/ReflectedToAbstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Treeless.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Syntax/Treeless.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/CallGraph.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/CallGraph.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/CallMatrix.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/CallMatrix.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/CutOff.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/CutOff.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Order.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Order.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/RecCheck.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/RecCheck.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Semiring.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Semiring.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/SparseMatrix.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/SparseMatrix.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/TermCheck.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/TermCheck.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Termination.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Termination/Termination.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TheTypeChecker.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TheTypeChecker.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Abstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CheckInternal.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CheckInternal.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause/Compile.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause/Compile.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause/Match.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause/Match.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/CompiledClause.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Constraints.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Constraints.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Conversion usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Conversion/Pure.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Conversion/Pure.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Conversion.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Conversion.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/Cubical.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/Cubical.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/Match.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/Match.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/SplitClause.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/SplitClause.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/SplitTree.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage/SplitTree.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Coverage.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Datatypes.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Datatypes.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DeadCode.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DeadCode.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DiscrimTree usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DiscrimTree/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DiscrimTree/Types.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DiscrimTree.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DiscrimTree.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DisplayForm.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DisplayForm.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DropArgs.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/DropArgs.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Empty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Empty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Errors usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Errors/Names.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Errors/Names.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Errors.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/EtaContract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/EtaContract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Forcing.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Forcing.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free/Lazy.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free/Lazy.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free/Precompute.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free/Precompute.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free/Reduce.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free/Reduce.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Free.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Functions.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Functions.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Generalize.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Generalize.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/IApplyConfluence.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/IApplyConfluence.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Implicit.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Implicit.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Injectivity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Injectivity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Inlining.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Inlining.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/InstanceArguments.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/InstanceArguments.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Irrelevance.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Irrelevance.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Level usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Level/Solve.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Level/Solve.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Level.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Level.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/LevelConstraints.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/LevelConstraints.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Lock.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Lock.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars/Mention.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars/Mention.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars/Occurs.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars/Occurs.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/MetaVars.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Modalities.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Modalities.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base/Types.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base/Warning.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base/Warning.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Benchmark.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Benchmark.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Builtin.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Caching.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Caching.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Closure.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Closure.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Constraints.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Constraints.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Context.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Context.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Debug.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Debug.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Env.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Env.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Imports.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Imports.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/MetaVars.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/MetaVars.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Modality.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Modality.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Mutual.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Mutual.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Open.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Open.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Options.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Options.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Pure.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Pure.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Signature.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Signature.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/SizedTypes.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/SizedTypes.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/State.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/State.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Statistics.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Statistics.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Trace.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad/Trace.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Names.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Names.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Opacity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Opacity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns/Abstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns/Internal.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns/Internal.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns/Match.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Patterns/Match.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Polarity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Polarity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Positivity usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Positivity/Occurrence.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Positivity/Occurrence.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Positivity.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Positivity.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty/Call.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty/Call.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty/Constraint.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty/Constraint.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty/Warning.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty/Warning.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical/Glue.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical/Glue.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical/HCompU.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical/HCompU.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive/Cubical.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Primitive.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/ProjectionLike.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/ProjectionLike.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Quote.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Quote.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/ReconstructParameters.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/ReconstructParameters.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/RecordPatterns.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/RecordPatterns.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Records.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Records.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce/Fast.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce/Fast.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Reduce.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/Clause.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/Clause.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/Confluence.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/Confluence.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/NonLinMatch.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting/NonLinPattern.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rewriting.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Application.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Application.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Builtin usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Builtin/Coinduction.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Builtin.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Builtin.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Data.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Data.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Decl.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Decl.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Def.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Def.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Display.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Display.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Implicit.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Implicit.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Problem.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Problem.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/ProblemRest.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify/Types.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify/Types.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS/Unify.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/LHS.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Record.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Record.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Term.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Rules/Term.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Abstract.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Common.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Compilers.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Errors.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Highlighting.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Internal.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances/Internal.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise/Instances.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Serialise.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Solve.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Solve.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Syntax.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Syntax.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Utils.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/Utils.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes/WarshallSolver.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SizedTypes.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Sort.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Sort.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute/Class.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute/Class.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute/DeBruijn.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute/DeBruijn.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Substitute.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SyntacticEquality.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/SyntacticEquality.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Telescope usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Telescope/Path.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Telescope/Path.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Telescope.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Telescope.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Unquote.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Unquote.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Warnings.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/Warnings.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/With.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/TypeChecking/With.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/AffineHole.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/AffineHole.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Applicative.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Applicative.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/AssocList.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/AssocList.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Bag.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Bag.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Benchmark.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Benchmark.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/BiMap.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/BiMap.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/BoolSet.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/BoolSet.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Boolean.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack/Base.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack/Base.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack/Pretty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack/Pretty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/CallStack.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Char.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Char.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Cluster.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Cluster.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Either.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Either.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Empty.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Empty.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Environment.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Environment.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Fail.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Fail.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Favorites.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Favorites.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/FileId.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/FileId.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/FileName.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/FileName.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Float.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Float.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Function.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Function.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Functor.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Functor.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/GetOpt.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/GetOpt.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Graph usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Graph/AdjacencyMap usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Graph/TopSort.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Graph/TopSort.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Hash.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Hash.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/HashTable.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/HashTable.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Haskell usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Haskell/Syntax.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Haskell/Syntax.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IArray.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IArray.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/Binary.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/Binary.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/Directory.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/Directory.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/TempFile.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/TempFile.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/UTF8.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO/UTF8.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IO.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IORef.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IORef.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Impossible.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Impossible.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IndexedList.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IndexedList.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IntSet usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IntSet/Infinite.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/IntSet/Infinite.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Lens usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Lens/Examples.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Lens/Examples.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Lens.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Lens.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/List.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/List.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/List1.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/List1.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/List2.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/List2.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/ListT.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/ListT.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Map.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Map1.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Map1.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Maybe usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Maybe/Strict.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Maybe/Strict.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Maybe.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Maybe.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Memo.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Memo.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Monad.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Monad.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Monoid.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Monoid.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Null.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Null.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/POMonoid.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/POMonoid.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Parser usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Parser/MemoisedCPS.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Parser/MemoisedCPS.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/PartialOrd.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/PartialOrd.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Permutation.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Permutation.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/ProfileOptions.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/ProfileOptions.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/RangeMap.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/RangeMap.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/SemiRing.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/SemiRing.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Semigroup.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Semigroup.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Set1.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Set1.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Singleton.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Singleton.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Size.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Size.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/SmallSet.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/SmallSet.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/String.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/String.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Suffix.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Suffix.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Three.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Three.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Time.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Time.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Trie.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Trie.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Tuple.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Tuple.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/TypeLevel.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/TypeLevel.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/TypeLits.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/TypeLits.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Unsafe.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Unsafe.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Update.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Update.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/VarSet.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/VarSet.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/WithDefault.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/WithDefault.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Zipper.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Utils/Zipper.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Version.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/Version.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/VersionCommit.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Agda/VersionCommit.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Paths_Agda.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/Paths_Agda.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/Agda-2.8.0-30GQPtqDfWL99lnykizzi4/libHSAgda-2.8.0-30GQPtqDfWL99lnykizzi4.a usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.10.3-inplace/libHSAgda-2.8.0-30GQPtqDfWL99lnykizzi4-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/changelog.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