libghc-copilot-language-dev (4.6.1-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
- 2 kB
- Size expected
- 180.9 kB
- Size actual
- 180.9 kB
- Size match
Dependencies
Required package dependencies
- libghc-array-dev-0.5.8.0-fa0dd
- libghc-base-dev-4.20.2.0-08385
- libghc-containers-dev-0.7-1229a
- libghc-copilot-core-dev-4.6.1-3d2f6
- libghc-copilot-interpreter-dev-4.6.1-9dd87
- libghc-copilot-theorem-dev-4.6.1-b0447
- libghc-data-reify-dev-0.6.4-11c60
- libghc-mtl-dev-2.3.1-edf82
- 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 | 3eb1a4e3…68f5e30f | |
| SHA-1 | 06cb4cf8…56ea0d41 | |
| SHA-256 | 9696d016…eedb79bd | |
| SHA-512 | 3bb74f9f…50e51a05 |
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.10.3-inplace usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Analyze.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Analyze.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Error.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Error.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Interpret.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Interpret.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Array.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Array.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/BitWise.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/BitWise.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Boolean.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Cast.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Cast.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Constant.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Constant.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Eq.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Eq.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Extern.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Extern.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Integral.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Integral.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Label.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Label.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Local.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Local.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Mux.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Mux.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Ord.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Ord.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Projection.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Projection.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Propositional.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Propositional.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Struct.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Struct.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Temporal.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Operators/Temporal.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Prelude.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Prelude.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Reify.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Reify.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Spec.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Stream.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language/Stream.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/Copilot/Language.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System/Mem usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System/Mem/StableName usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System/Mem/StableName/Dynamic.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System/Mem/StableName/Dynamic.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System/Mem/StableName/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/System/Mem/StableName/Map.hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq/libHScopilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq.a usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/libHScopilot-language-4.6.1-BzxBIWtev8a2rplWCvlZgq-ghc9.10.3.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.1.conf