Debian 13 (Trixie) native package

libghc-agda-dev

dependently typed functional programming language

Packages / Debian 13 (Trixie) / haskell / libghc-agda-dev

[Source: agda]

Package: libghc-agda-dev (2.6.4.3-1+b2)

Maintainers:

Debian Haskell Group

External Resources:

Homepage: [wiki.portal.chalmers.se]

Similar packages:

[agda-bin]
commandline interface to Agda
[elpa-agda2-mode]
dependently typed functional programming language — emacs mode
[libghc-agda-doc]
dependently typed functional programming language; documentation

dependently typed functional programming language

Other Packages Related to libghc-agda-dev:

dep: libghc-aeson-dev-2.1.2.1-bcb88
Package not available
dep: libghc-ansi-terminal-dev-1.0.2-25450
Package not available
dep: libghc-array-dev-0.5.6.0-65c23
Package not available
dep: libghc-async-dev-2.2.5-51753
Package not available
dep: libghc-base-dev-4.18.2.1-8e81e
Package not available
dep: libghc-binary-dev-0.8.9.1-8e26a
Package not available
dep: libghc-blaze-html-dev-0.9.2.0-cce28
Package not available
dep: libghc-boxes-dev-0.1.5-3094f
Package not available
dep: libghc-bytestring-dev-0.11.5.3-7048d
Package not available
dep: libghc-case-insensitive-dev-1.2.1.0-94a09
Package not available
dep: libghc-containers-dev-0.6.7-7a228
Package not available
dep: libghc-data-hash-dev-0.2.0.1-209dc
Package not available
dep: libghc-deepseq-dev-1.4.8.1-9013f
Package not available
dep: libghc-directory-dev-1.3.8.5-98ebe
Package not available
dep: libghc-dlist-dev-1.0-d3ec3
Package not available
dep: libghc-edit-distance-dev-0.2.2.1-79404
Package not available
dep: libghc-equivalence-dev-0.4.1-6eeb5
Package not available
dep: libghc-exceptions-dev-0.10.7-0356d
Package not available
dep: libghc-filepath-dev-1.4.300.1-f6cd4
Package not available
dep: libghc-ghc-compact-dev-0.1.0.0-8f95f
Package not available
dep: libghc-gitrev-dev-1.3.1-44bc9
Package not available
dep: libghc-hashable-dev-1.4.4.0-fb202
Package not available
dep: libghc-haskeline-dev-0.8.2.1-2332e
Package not available
dep: libghc-monad-control-dev-1.0.3.1-b8be8
Package not available
dep: libghc-mtl-dev-2.3.1-f8119
Package not available
dep: libghc-murmur-hash-dev-0.1.0.10-8fe95
Package not available
dep: libghc-parallel-dev-3.2.2.0-0f7bd
Package not available
dep: libghc-peano-dev-0.1.0.2-b239f
Package not available
dep: libghc-pretty-dev-1.1.3.6-8f6c9
Package not available
dep: libghc-process-dev-1.6.19.0-48ee2
Package not available
dep: libghc-regex-tdfa-dev-1.3.2.2-429e6
Package not available
dep: libghc-split-dev-0.2.5-3cfdd
Package not available
dep: libghc-stm-dev-2.5.1.0-99e80
Package not available
dep: libghc-stmonadtrans-dev-0.4.8-b519e
Package not available
dep: libghc-strict-dev-0.5-aee4d
Package not available
dep: libghc-text-dev-2.0.2-5b954
Package not available
dep: libghc-time-compat-dev-1.9.6.1-a9589
Package not available
dep: libghc-time-dev-1.12.2-eb20f
Package not available
dep: libghc-transformers-dev-0.6.1.0-5335d
Package not available
dep: libghc-unordered-containers-dev-0.2.20-a0e00
Package not available
dep: libghc-uri-encode-dev-1.5.0.7-4fa87
Package not available
dep: libghc-vector-dev-0.13.1.0-ca5d5
Package not available
dep: libghc-vector-hashtables-dev-0.1.2.0-15588
Package not available
dep: libghc-zlib-dev-0.6.3.0-436de
Package not available
dep: [libc6] (>= 2.29)
GNU C Library: Shared libraries
dep: [libgmp10] (>= 2:6.3.0+dfsg)
Multiprecision arithmetic library
dep: [libtinfo6] (>= 6)
shared low-level terminfo library for terminal handling
dep: [zlib1g] (>= 1:1.1.4)
compression library - runtime

Download libghc-agda-dev

Architecture	Package Size	Installed Size	Files
amd64	22 MiB	210 MiB	[list of files]
arm64	23 MiB	246 MiB	[list of files]

Percorsi file del pacchetto (1,599)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Auto.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Auto.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/CaseSplit.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/CaseSplit.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Convert.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Convert.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/NarrowingSearch.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/NarrowingSearch.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Options.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Options.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/SearchControl.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/SearchControl.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Syntax.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Syntax.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Typecheck.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Auto/Typecheck.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Benchmarking.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Benchmarking.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Backend.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Backend.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Builtin.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Builtin.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/CallCompiler.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/CallCompiler.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Common.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Common.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Compiler.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Compiler.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Pretty.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Pretty.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Substitution.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Substitution.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Syntax.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/JS/Syntax.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Coerce.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Coerce.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Compiler.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Compiler.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Encode.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Encode.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/HaskellTypes.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/HaskellTypes.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Misc.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Misc.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Pragmas.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Pragmas.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Pretty.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Pretty.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Primitives.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Primitives.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Strict.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/MAlonzo/Strict.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/ToTreeless.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/ToTreeless.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/AsPatterns.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/AsPatterns.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Builtin.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Builtin.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Compare.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Compare.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/EliminateDefaults.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/EliminateDefaults.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/EliminateLiteralPatterns.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Erase.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Erase.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/GuardsToPrims.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/GuardsToPrims.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Identity.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Identity.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/NormalizeNames.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/NormalizeNames.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Pretty.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Pretty.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Simplify.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Simplify.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Subst.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Subst.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Uncase.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Uncase.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Unused.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Compiler/Treeless/Unused.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/ImpossibleTest.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/ImpossibleTest.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/AgdaTop.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/AgdaTop.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Base.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Base.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/BasicOps.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/BasicOps.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/CommandLine.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/CommandLine.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/EmacsCommand.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/EmacsCommand.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/EmacsTop.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/EmacsTop.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/ExitCode.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/ExitCode.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/FindFile.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/FindFile.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Common.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Common.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Dot/Backend.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Dot/Backend.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Dot/Base.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Dot/Base.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Dot.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Dot.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Emacs.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Emacs.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/FromAbstract.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/FromAbstract.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Generate.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Generate.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/HTML/Backend.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/HTML/Backend.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/HTML/Base.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/HTML/Base.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/HTML.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/HTML.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/JSON.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/JSON.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/LaTeX/Backend.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/LaTeX/Backend.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/LaTeX/Base.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/LaTeX/Base.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/LaTeX.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/LaTeX.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Precise.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Precise.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Range.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Range.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Vim.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Highlighting/Vim.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Imports.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Imports.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/InteractionTop.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/InteractionTop.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/JSON.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/JSON.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/JSONTop.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/JSONTop.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Library/Base.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Library/Base.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Library.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Library.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Library/Parse.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Library/Parse.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/MakeCase.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/MakeCase.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Monad.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Monad.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Base.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Base.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/HasOptions.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/HasOptions.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Help.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Help.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Lenses.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Lenses.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Warnings.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Options/Warnings.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Response.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/Response.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/SearchAbout.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Interaction/SearchAbout.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Main.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Main.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Name.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Name.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Pattern.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Pattern.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/PatternSynonyms.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/PatternSynonyms.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Pretty.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Pretty.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/UsedNames.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/UsedNames.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Views.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Abstract/Views.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Builtin.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Builtin.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common/Aspect.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common/Aspect.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common/Pretty/ANSI.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common/Pretty/ANSI.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common/Pretty.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Common/Pretty.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Attribute.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Attribute.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions/Errors.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions/Errors.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions/Monad.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions/Monad.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions/Types.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Definitions/Types.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Fixity.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Fixity.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Generic.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Generic.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Glyph.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Glyph.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Name.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Name.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Operators.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Operators.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Operators/Parser.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Operators/Parser.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Operators/Parser/Monad.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Pattern.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Pattern.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Pretty.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Concrete/Pretty.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/DoNotation.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/DoNotation.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Fixity.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Fixity.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/IdiomBrackets.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/IdiomBrackets.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Info.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Info.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Blockers.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Blockers.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Defs.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Defs.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Elim.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Elim.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Generic.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Generic.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/MetaVars.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/MetaVars.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Names.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Names.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Pattern.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/Pattern.hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/SanityCheck.dyn_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/Agda-2.6.4.3-41i63oF2y9sGNBnLV2if1i/Agda/Syntax/Internal/SanityCheck.hi

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Debian 13 (Trixie) nel browser Crea un'immagine che include libghc-agda-dev

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
2.6.4.3-1+b2	trixie / main	amd64	Debian 13 · main · amd64	22 MiB	210 MiB	pool/main/a/agda/libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
2.6.4.3-1+b2	trixie / main	arm64	Debian 13 · main · arm64	23 MiB	246 MiB	pool/main/a/agda/libghc-agda-dev_2.6.4.3-1+b2_arm64.deb

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2.6.4.3-1+b2 / amd64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 58d8551bec42796d2aa9f6baaa253eb23095e118869fe235be6d4aa2e130ce60

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '58d8551bec42796d2aa9f6baaa253eb23095e118869fe235be6d4aa2e130ce60' 'libghc-agda-dev_2.6.4.3-1+b2_amd64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3

2.6.4.3-1+b2 / arm64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 0314a481878964c5bbfc744c80aabf7aaeaeb71e0760e24afbbffb2fd369f359

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '0314a481878964c5bbfc744c80aabf7aaeaeb71e0760e24afbbffb2fd369f359' 'libghc-agda-dev_2.6.4.3-1+b2_arm64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 0/5
Source package or maintainer: 10/10

Recorded total: 95/100

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3, Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

Debian 13 (Trixie) main amd64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://deb.debian.org/debian/dists/trixie/InRelease
Signed-object SHA-256
98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint
4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision
debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: main/binary-amd64/Packages.xz
Expected SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Observed SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Result: match verified
Debian 13 (Trixie) main arm64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://deb.debian.org/debian/dists/trixie/InRelease
Signed-object SHA-256
98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint
4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision
debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: main/binary-arm64/Packages.xz
Expected SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Observed SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Result: match verified