libghc-copilot-language-dev (4.6-1)
3 versions available in kali/kali-last-snapshot/main/arm64
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- haskell-copilot-language
- Architecture
- arm64
- Section
- haskell
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.9 kB
- Size expected
- 179.2 kB
- Size actual
- 179.2 kB
- Size match
Dependencies
Required package dependencies
- libghc-array-dev-0.5.6.0-65c23
- libghc-base-dev-4.18.2.1-75247
- libghc-containers-dev-0.6.7-3eda8
- libghc-copilot-core-dev-4.6-ceb10
- libghc-copilot-interpreter-dev-4.6-f3e4a
- libghc-copilot-theorem-dev-4.6-38960
- libghc-data-reify-dev-0.6.3-cac89
- libghc-mtl-dev-2.3.1-f8119
- libc6 (>= 2.17)
- libgmp10 (>= 2:6.3.0+dfsg)
- zlib1g (>= 1:1.1.4)
Suggested packages
Recommended additional packages
- None
Description
DSL for monitoring hard real-time distributed systems.
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | b29f9dc1…bb8391d9 | |
| SHA-1 | 2a7b5f70…4063aa14 | |
| SHA-256 | 333dcf5c…8c73d02e | |
| SHA-512 | b359cc23…0111fe33 |
Contents
Files and directories included
. usr usr/lib usr/lib/haskell-packages usr/lib/haskell-packages/ghc usr/lib/haskell-packages/ghc/lib usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Analyze.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Analyze.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Error.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Error.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Interpret.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Interpret.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Array.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Array.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/BitWise.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/BitWise.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Boolean.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Cast.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Cast.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Constant.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Constant.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Eq.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Eq.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Extern.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Extern.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Integral.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Integral.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Label.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Label.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Local.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Local.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Mux.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Mux.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Ord.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Ord.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Projection.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Projection.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Propositional.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Propositional.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Struct.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Struct.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Temporal.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Operators/Temporal.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Prelude.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Prelude.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Reify.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Reify.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Spec.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Stream.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language/Stream.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/Copilot/Language.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System/Mem usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System/Mem/StableName usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System/Mem/StableName/Dynamic.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System/Mem/StableName/Dynamic.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System/Mem/StableName/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/System/Mem/StableName/Map.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/copilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY/libHScopilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY.a usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/libHScopilot-language-4.6-Cb7UbXq6ps4FymQUdkIjHY-ghc9.6.6.so usr/share usr/share/doc usr/share/doc/libghc-copilot-language-dev usr/share/doc/libghc-copilot-language-dev/changelog.Debian.gz usr/share/doc/libghc-copilot-language-dev/changelog.gz usr/share/doc/libghc-copilot-language-dev/copyright var var/lib var/lib/ghc var/lib/ghc/package.conf.d var/lib/ghc/package.conf.d/copilot-language-4.6.conf