Linux workstation

Debian 12 (Bookworm) native package

libghc-agda-dev

dependently typed functional programming language

Packages / Debian 12 (Bookworm) / haskell / libghc-agda-dev

[Source: agda]

Package: libghc-agda-dev (2.6.2.2-1.1)

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.0.3.0-6cd28

    Package not available

  • dep: libghc-array-dev-0.5.4.0-0b6fa

    Package not available

  • dep: libghc-async-dev-2.2.4-7edea

    Package not available

  • dep: libghc-base-dev-4.15.1.0-6a406

    Package not available

  • dep: libghc-binary-dev-0.8.8.0-507cc

    Package not available

  • dep: libghc-blaze-html-dev-0.9.1.2-d5145

    Package not available

  • dep: libghc-boxes-dev-0.1.5-fe15f

    Package not available

  • dep: libghc-bytestring-dev-0.10.12.1-ced9a

    Package not available

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

    Package not available

  • dep: libghc-containers-dev-0.6.4.1-31c3b

    Package not available

  • dep: libghc-data-hash-dev-0.2.0.1-3af90

    Package not available

  • dep: libghc-deepseq-dev-1.4.5.0-118cf

    Package not available

  • dep: libghc-directory-dev-1.3.6.2-311c9

    Package not available

  • dep: libghc-edit-distance-dev-0.2.2.1-cc475

    Package not available

  • dep: libghc-equivalence-dev-0.4.1-9ed28

    Package not available

  • dep: libghc-exceptions-dev-0.10.4-c14ff

    Package not available

  • dep: libghc-filepath-dev-1.4.2.1-4459f

    Package not available

  • dep: libghc-ghc-compact-dev-0.1.0.0-7d71d

    Package not available

  • dep: libghc-gitrev-dev-1.3.1-3f551

    Package not available

  • dep: libghc-hashable-dev-1.3.5.0-3fad8

    Package not available

  • dep: libghc-hashtables-dev-1.2.4.2-4be59

    Package not available

  • dep: libghc-haskeline-dev-0.8.2-83f75

    Package not available

  • dep: libghc-monad-control-dev-1.0.3.1-20361

    Package not available

  • dep: libghc-mtl-dev-2.2.2-e3bae

    Package not available

  • dep: libghc-murmur-hash-dev-0.1.0.10-f9651

    Package not available

  • dep: libghc-parallel-dev-3.2.2.0-7cbf2

    Package not available

  • dep: libghc-pretty-dev-1.1.3.6-b017f

    Package not available

  • dep: libghc-process-dev-1.6.13.2-9f25f

    Package not available

  • dep: libghc-regex-tdfa-dev-1.3.2-1c748

    Package not available

  • dep: libghc-split-dev-0.2.3.5-0c13f

    Package not available

  • dep: libghc-stm-dev-2.5.0.0-4cba8

    Package not available

  • dep: libghc-strict-dev-0.4.0.1-544cd

    Package not available

  • dep: libghc-template-haskell-dev-2.17.0.0-7274a

    Package not available

  • dep: libghc-text-dev-1.2.5.0-8553e

    Package not available

  • dep: libghc-time-dev-1.9.3-bda76

    Package not available

  • dep: libghc-transformers-dev-0.5.6.2-fc6f3

    Package not available

  • dep: libghc-unordered-containers-dev-0.2.17.0-1d16d

    Package not available

  • dep: libghc-uri-encode-dev-1.5.0.7-d0941

    Package not available

  • dep: libghc-zlib-dev-0.6.3.0-57e0e

    Package not available

  • dep: [libc6] (>= 2.29)

    GNU C Library: Shared libraries

  • dep: [libgmp10] (>= 2:6.2.1+dfsg1)

    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
amd6424 MiB242 MiB[list of files]

Шляхи файлів пакета (792)

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

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

Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Використати цей пакет

OpenFactory може завантажити цю операційну систему у віртуальній машині браузера або почати збірку образу з рідною назвою пакета з цього запису.

Спробувати Debian 12 (Bookworm) у браузеріЗібрати образ, що містить libghc-agda-dev

Версії, набори та репозиторії

Кожен рядок: метадані індексу пакетів для однієї версії, архітектури, набору й репозиторію. Назви, URL і розміри зі джерела; посилання є змінним місцем отримання, не перерозповсюдженням OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2.6.2.2-1.1bookworm / mainamd64Debian 12 · main · amd6424 MiB242 MiBpool/main/a/agda/libghc-agda-dev_2.6.2.2-1.1_amd64.deb

Field source: Debian 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Контрольні суми й дати спостереження

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.2.2-1.1 / 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: 3b1e6380dc53a3cf5f628f3a537af8be654e881a1f7c4409e108a59ed7e2c360

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

printf '%s %s\n' '3b1e6380dc53a3cf5f628f3a537af8be654e881a1f7c4409e108a59ed7e2c360' 'libghc-agda-dev_2.6.2.2-1.1_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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

Повнота запису каталогу

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 12 (Bookworm) main amd64 revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Джерела та походження

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 12 (Bookworm) main amd64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision bookworm-main-amd64:9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5

    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
    77737fa4b34f2693e982cc9ee35736816c35a7778fc2d326cc1bbf5b301fe1aa
    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: 9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
    Observed SHA-256: 9e0b5aabb2465b3d2e7a7fe27f9913846277833f7a2826e7767acccff5b588c5
    Result: match verified

libghc-agda-dev Package for Debian 12 (Bookworm) | OpenFactory