Linux workstation

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-9fb12

    Package not available

  • dep: libghc-ansi-terminal-dev-1.0.2-7693e

    Package not available

  • dep: libghc-array-dev-0.5.6.0-65c23

    Package not available

  • dep: libghc-async-dev-2.2.5-a3b4a

    Package not available

  • dep: libghc-base-dev-4.18.2.1-75247

    Package not available

  • dep: libghc-binary-dev-0.8.9.1-88a2a

    Package not available

  • dep: libghc-blaze-html-dev-0.9.2.0-11023

    Package not available

  • dep: libghc-boxes-dev-0.1.5-3094f

    Package not available

  • dep: libghc-bytestring-dev-0.11.5.3-31c85

    Package not available

  • dep: libghc-case-insensitive-dev-1.2.1.0-58734

    Package not available

  • dep: libghc-containers-dev-0.6.7-3eda8

    Package not available

  • dep: libghc-data-hash-dev-0.2.0.1-dcee2

    Package not available

  • dep: libghc-deepseq-dev-1.4.8.1-71feb

    Package not available

  • dep: libghc-directory-dev-1.3.8.5-71f9f

    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-c9b8d

    Package not available

  • dep: libghc-exceptions-dev-0.10.7-fdf92

    Package not available

  • dep: libghc-filepath-dev-1.4.300.1-4a448

    Package not available

  • dep: libghc-ghc-compact-dev-0.1.0.0-fd0fc

    Package not available

  • dep: libghc-gitrev-dev-1.3.1-73ca6

    Package not available

  • dep: libghc-hashable-dev-1.4.4.0-3ee83

    Package not available

  • dep: libghc-haskeline-dev-0.8.2.1-ba61f

    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-d8188

    Package not available

  • dep: libghc-parallel-dev-3.2.2.0-26f96

    Package not available

  • dep: libghc-peano-dev-0.1.0.2-b239f

    Package not available

  • dep: libghc-pretty-dev-1.1.3.6-21c21

    Package not available

  • dep: libghc-process-dev-1.6.19.0-220a3

    Package not available

  • dep: libghc-regex-tdfa-dev-1.3.2.2-f9518

    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-61c83

    Package not available

  • dep: libghc-text-dev-2.0.2-edcc7

    Package not available

  • dep: libghc-time-compat-dev-1.9.6.1-cb63b

    Package not available

  • dep: libghc-time-dev-1.12.2-a9ccc

    Package not available

  • dep: libghc-transformers-dev-0.6.1.0-5335d

    Package not available

  • dep: libghc-unordered-containers-dev-0.2.20-bef9d

    Package not available

  • dep: libghc-uri-encode-dev-1.5.0.7-6da48

    Package not available

  • dep: libghc-vector-dev-0.13.1.0-c924b

    Package not available

  • dep: libghc-vector-hashtables-dev-0.1.2.0-4b1c2

    Package not available

  • dep: libghc-zlib-dev-0.6.3.0-e8f80

    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

ArchitecturePackage SizeInstalled SizeFiles
arm6423 MiB246 MiB[list of files]

Paketdateipfade (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 arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Debian 13 (Trixie) im Browser testenImage mit libghc-agda-dev bauen

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.6.4.3-1+b2trixie / mainarm64Debian 13 · main · arm6423 MiB246 MiBpool/main/a/agda/libghc-agda-dev_2.6.4.3-1+b2_arm64.deb

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

Prüfsummen und Beobachtungsdaten

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 / 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

Vollständigkeit des Katalogsatzes

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

Quellen und Herkunft

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 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 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