Package - libghc-copilot-language-doc
Package: libghc-copilot-language-doc
apt-get install libghc-copilot-language-doc
apt-get install libghc-copilot-language-doc
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/haskell-copilot-language/libghc-copilot-language-doc_4.3-1_all.deb (Size: 248.5KiB)| Property | Value |
|---|---|
| Package | libghc-copilot-language-doc |
| Source | haskell-copilot-language |
| Version | 4.3-1 |
| Installed-Size | 7299 |
| Maintainer | Debian Haskell Group |
| Architecture | all |
| Depends | haddock-interface-42 |
| Recommends | ghc-doc, libghc-copilot-core-doc, libghc-copilot-interpreter-doc, libghc-copilot-language-dev, libghc-copilot-theorem-doc, libjs-mathjax |
| Suggests | libghc-copilot-language-prof |
| Description | DSL for monitoring hard real-time distributed systems.; documentation |
| Description-md5 | 5c64d147910a0fc1bf15f4b46393a64e |
| Homepage | https://copilot-language.github.io |
| Section | doc |
| Priority | optional |
| Filename | pool/main/h/haskell-copilot-language/libghc-copilot-language-doc_4.3-1_all.deb |
| Size | 254512 |
| MD5sum | fe0f0174fd4a8be947d38bdf774a13de |
| SHA256 | 25676434807d2a14c3f2f75bd17c9ef3b7265556ca82e93836a00417fd98e804 |
Files in package
- /usr/lib/ghc-doc/haddock/copilot-language-4.3/copilot-language.haddock
- /usr/lib/ghc-doc/hoogle/libghc-copilot-language-doc.txt
- /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/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/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