libghc-copilot-language-dev (4.6.1-1)
3 versions available in kali/kali-last-snapshot/main/armhf
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
- armhf
- Section
- haskell
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2.1 kB
- Size expected
- 215.1 kB
- Size actual
- 215.1 kB
- Size match
Dependencies
Required package dependencies
- libghc-array-dev-0.5.8.0-4515d
- libghc-base-dev-4.20.2.0-40f5b
- libghc-containers-dev-0.7-1bb97
- libghc-copilot-core-dev-4.6.1-ef6dc
- libghc-copilot-interpreter-dev-4.6.1-e7de1
- libghc-copilot-theorem-dev-4.6.1-ba2f1
- libghc-data-reify-dev-0.6.4-bbdc0
- libghc-mtl-dev-2.3.1-0785e
- libc6 (>= 2.4)
- 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 | 106a460d…004a9066 | |
| SHA-1 | 45bb6493…48a5a0d4 | |
| SHA-256 | 0a95ea4b…219b0090 | |
| SHA-512 | 3d15149b…ef3d2f05 |
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/arm-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Analyze.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Analyze.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Error.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Error.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Interpret.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Interpret.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Array.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Array.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/BitWise.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/BitWise.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Boolean.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Cast.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Cast.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Constant.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Constant.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Eq.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Eq.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Extern.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Extern.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Integral.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Integral.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Label.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Label.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Local.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Local.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Mux.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Mux.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Ord.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Ord.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Projection.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Projection.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Propositional.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Propositional.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Struct.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Struct.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Temporal.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Operators/Temporal.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Prelude.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Prelude.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Reify.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Reify.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Spec.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Stream.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language/Stream.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/Copilot/Language.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System/Mem usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System/Mem/StableName usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System/Mem/StableName/Dynamic.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System/Mem/StableName/Dynamic.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System/Mem/StableName/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/System/Mem/StableName/Map.hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/copilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA/libHScopilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA.a usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/libHScopilot-language-4.6.1-83lPZ5SKr5yHp0AJi8NBNA-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