libghc-copilot-language-doc (4.6.1-1)

3 versions available in kali/kali-last-snapshot/main/i386

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
haskell-copilot-language
Architecture
i386
Section
doc
Priority
optional
Maintainer
Debian Haskell Group <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
8.9 kB
Size expected
287.8 kB
Size actual
287.8 kB
Size match

Dependencies

Required package dependencies

  • haddock-interface-44

Suggested packages

Recommended additional packages

  • libghc-copilot-language-prof

Description

DSL for monitoring hard real-time distributed systems.; documentation

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD54e5f40ff…d6159978
SHA-1fa2fef06…f0fc37a0
SHA-25659e4de70…740984bc
SHA-5124e9bd1b7…ffb28b47

Contents

Files and directories included

.
usr
usr/lib
usr/lib/ghc-doc
usr/lib/ghc-doc/haddock
usr/lib/ghc-doc/haddock/copilot-language-4.6.1
usr/lib/ghc-doc/haddock/copilot-language-4.6.1/copilot-language.haddock
usr/lib/ghc-doc/hoogle
usr/share
usr/share/doc
usr/share/doc/libghc-copilot-language-doc
usr/share/doc/libghc-copilot-language-doc/changelog.Debian.gz
usr/share/doc/libghc-copilot-language-doc/changelog.gz
usr/share/doc/libghc-copilot-language-doc/copyright
usr/share/doc/libghc-copilot-language-doc/html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Array.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-BitWise.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Boolean.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Cast.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Constant.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Eq.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Extern.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Integral.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Label.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Local.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Mux.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Ord.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Projection.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Propositional.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Struct.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Operators-Temporal.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Prelude.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Reify.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Spec.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language-Stream.html
usr/share/doc/libghc-copilot-language-doc/html/Copilot-Language.html
usr/share/doc/libghc-copilot-language-doc/html/copilot-language.txt
usr/share/doc/libghc-copilot-language-doc/html/doc-index-124.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-126.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-33.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-35.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-36.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-38.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-42.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-43.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-45.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-46.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-47.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-60.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-61.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-62.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-94.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-A.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-All.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-B.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-C.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-D.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-E.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-F.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-G.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-H.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-I.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-J.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-L.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-M.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-N.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-O.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-P.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-Q.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-R.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-S.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-T.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-U.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-V.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-W.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-X.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index-Z.html
usr/share/doc/libghc-copilot-language-doc/html/doc-index.html
usr/share/doc/libghc-copilot-language-doc/html/haddock-bundle.min.js
usr/share/doc/libghc-copilot-language-doc/html/index.html
usr/share/doc/libghc-copilot-language-doc/html/linuwial.css
usr/share/doc/libghc-copilot-language-doc/html/meta.json
usr/share/doc/libghc-copilot-language-doc/html/quick-jump.css
usr/share/doc/libghc-copilot-language-doc/html/src
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Analyze.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Error.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Interpret.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Array.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.BitWise.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Boolean.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Cast.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Constant.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Eq.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Extern.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Integral.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Label.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Local.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Mux.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Ord.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Projection.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Propositional.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Struct.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Operators.Temporal.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Prelude.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Reify.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Spec.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.Stream.html
usr/share/doc/libghc-copilot-language-doc/html/src/Copilot.Language.html
usr/share/doc/libghc-copilot-language-doc/html/src/System.Mem.StableName.Dynamic.html
usr/share/doc/libghc-copilot-language-doc/html/src/System.Mem.StableName.Map.html
usr/share/doc/libghc-copilot-language-doc/html/src/highlight.js
usr/share/doc/libghc-copilot-language-doc/html/src/style.css
usr/share/doc/libghc-copilot-language-doc/html/synopsis.png
usr/lib/ghc-doc/hoogle/libghc-copilot-language-doc.txt