libghc-copilot-language-dev (4.7-1build1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://ports.ubuntu.com
Codename
stonking
Component
universe
Source
haskell-copilot-language
Architecture
arm64
Section
universe/haskell
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
1.9 kB
Size expected
199.7 kB
Size actual
199.7 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.7-68954
  • libghc-copilot-interpreter-dev-4.7-9107a
  • libghc-copilot-theorem-dev-4.7-842bb
  • 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.

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5843121c1…73ec7f79
SHA-1b5fc2643…e6a40bce
SHA-25686c5a5d7…ff0d77eb
SHA-51240b17856…2d2a0f76

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.7-Ks7p1aKf0lU6NRRsvbDXDY
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Analyze.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Analyze.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Error.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Error.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Interpret.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Interpret.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Array.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Array.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/BitWise.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/BitWise.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Boolean.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Boolean.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Cast.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Cast.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Constant.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Constant.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Eq.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Eq.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Extern.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Extern.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Integral.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Integral.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Label.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Label.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Local.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Local.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Mux.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Mux.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Ord.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Ord.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Projection.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Projection.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Propositional.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Propositional.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Struct.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Struct.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Temporal.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Operators/Temporal.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Prelude.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Prelude.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Reify.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Reify.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Spec.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Spec.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Stream.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language/Stream.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/Copilot/Language.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Dynamic.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Dynamic.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Map.dyn_hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/System/Mem/StableName/Map.hi
usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/copilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY/libHScopilot-language-4.7-Ks7p1aKf0lU6NRRsvbDXDY.a
usr/lib/haskell-packages/ghc/lib/aarch64-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