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

Size & integrity

Byte sizes and integrity verification

Installed size
2.5 kB
Size expected
244.1 kB
Size actual
244.1 kB
Size match

Dependencies

Required package dependencies

  • libghc-array-dev-0.5.8.0-fa0dd
  • libghc-base-dev-4.20.2.0-96920
  • libghc-containers-dev-0.7-e4358
  • libghc-copilot-core-dev-4.7-68954
  • libghc-copilot-interpreter-dev-4.7-300c6
  • libghc-copilot-theorem-dev-4.7-8b937
  • libghc-data-reify-dev-0.6.4-2c021
  • 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
MD58baff4cd…368cf61a
SHA-141091607…1f6378b8
SHA-25633fd4cff…7b4f812c
SHA-5120a9a574c…93c8a6b3

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