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
armhf
Section
universe/haskell
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
2.1 kB
Size expected
233.3 kB
Size actual
233.3 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.7-90f04
  • libghc-copilot-interpreter-dev-4.7-f8ac7
  • libghc-copilot-theorem-dev-4.7-f3978
  • 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.

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD53f1d8a3e…46f9838b
SHA-16d095a35…e7c08667
SHA-25611a11f72…7ddac926
SHA-5128dd03009…76eb915e

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