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

TypeActualMatch
MD52fee53bb…cea382e9
SHA-1bd1921c0…032c7e9d
SHA-256f4e2815c…5facbf4e
SHA-512c107c5ae…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