libghc-copilot-language-dev (4.7-1build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- haskell-copilot-language
- Architecture
- amd64v3
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.7 kB
- Size expected
- 191 kB
- Size actual
- 191 kB
- Size match
Dependencies
Required package dependencies
- libghc-array-dev-0.5.8.0-fa0dd
- libghc-base-dev-4.20.2.0-47ff0
- libghc-containers-dev-0.7-0c6d4
- libghc-copilot-core-dev-4.7-68954
- libghc-copilot-interpreter-dev-4.7-0f33b
- libghc-copilot-theorem-dev-4.7-a234f
- libghc-data-reify-dev-0.6.4-26cce
- libghc-mtl-dev-2.3.1-edf82
- libc6 (>= 2.2.5)
- 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 | 2fee53bb…cea382e9 | |
| SHA-1 | bd1921c0…032c7e9d | |
| SHA-256 | f4e2815c…5facbf4e | |
| SHA-512 | c107c5ae…c27eb055 |
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/x86_64-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Analyze.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Analyze.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Error.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Error.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Interpret.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Interpret.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Array.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Array.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/BitWise.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/BitWise.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Boolean.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Boolean.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Cast.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Cast.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Constant.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Constant.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Eq.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Eq.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Extern.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Extern.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Integral.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Integral.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Label.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Label.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Local.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Local.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Mux.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Mux.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Ord.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Ord.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Projection.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Projection.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Propositional.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Propositional.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Struct.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Struct.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Temporal.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Temporal.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Prelude.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Prelude.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Reify.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Reify.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Spec.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Spec.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Stream.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Stream.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Dynamic.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Dynamic.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Map.dyn_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Map.hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/libHScopilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY.a usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/libHScopilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY-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/copyright var var/lib var/lib/ghc var/lib/ghc/package.conf.d var/lib/ghc/package.conf.d/copilot-language-4.7.conf