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

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

Keine veröffentlichten Datensätze passen zu diesem Suite- und Architekturfilter.

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

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.

Keine veröffentlichten Datensätze passen zu diesem Suite- und Architekturfilter.

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.

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

libghc-agda-dev Package for Debian 13 (Trixie) | OpenFactory