libghc-copilot-language-dev (4.6-1)
3 versions available in kali/kali-last-snapshot/main/i386
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
- i386
- Section
- haskell
- Priority
- optional
- Maintainer
- Debian Haskell Group <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2 kB
- Size expected
- 252.9 kB
- Size actual
- 252.9 kB
- Size match
Dependencies
Required package dependencies
- libghc-array-dev-0.5.6.0-23660
- libghc-base-dev-4.18.2.1-038db
- libghc-containers-dev-0.6.7-a865b
- libghc-copilot-core-dev-4.6-778d1
- libghc-copilot-interpreter-dev-4.6-20055
- libghc-copilot-theorem-dev-4.6-754c7
- libghc-data-reify-dev-0.6.3-0e800
- libghc-mtl-dev-2.3.1-831d0
- libc6 (>= 2.1.3)
- 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 | 9e225f35…dd776606 | |
| SHA-1 | bd92d9af…3b46c2b6 | |
| SHA-256 | ec8ebe42…73d2870d | |
| SHA-512 | ad3127e4…6937b4c0 |
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/i386-linux-ghc-9.6.6 usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8 usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Analyze.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Analyze.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Error.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Error.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Interpret.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Interpret.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Array.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Array.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/BitWise.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/BitWise.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Boolean.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Cast.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Cast.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Constant.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Constant.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Eq.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Eq.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Extern.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Extern.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Integral.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Integral.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Label.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Label.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Local.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Local.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Mux.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Mux.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Ord.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Ord.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Projection.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Projection.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Propositional.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Propositional.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Struct.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Struct.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Temporal.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Operators/Temporal.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Prelude.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Prelude.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Reify.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Reify.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Spec.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Stream.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language/Stream.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/Copilot/Language.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System/Mem usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System/Mem/StableName usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System/Mem/StableName/Dynamic.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System/Mem/StableName/Dynamic.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System/Mem/StableName/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/System/Mem/StableName/Map.hi usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/copilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8/libHScopilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8.a usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/libHScopilot-language-4.6-1lDXKQ6cGe8I44yGCc0Dk8-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