Package - libghc-dependent-sum-doc
Package: libghc-dependent-sum-doc
apt-get install libghc-dependent-sum-doc
apt-get install libghc-dependent-sum-doc
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/haskell-dependent-sum/libghc-dependent-sum-doc_0.7.2.0-2_all.deb (Size: 45.2KiB)| Property | Value |
|---|---|
| Package | libghc-dependent-sum-doc |
| Source | haskell-dependent-sum |
| Version | 0.7.2.0-2 |
| Installed-Size | 257 |
| Maintainer | Debian Haskell Group |
| Architecture | all |
| Depends | haddock-interface-42 |
| Recommends | ghc-doc, libghc-constraints-extras-doc, libghc-dependent-sum-dev, libghc-some-doc, libjs-mathjax |
| Suggests | libghc-dependent-sum-prof |
| Description | Dependent sum type; documentation |
| Description-md5 | 3e14b36595c70457ce187984ba6132f5 |
| Homepage | https://github.com/obsidiansystems/dependent-sum |
| Section | doc |
| Priority | optional |
| Filename | pool/main/h/haskell-dependent-sum/libghc-dependent-sum-doc_0.7.2.0-2_all.deb |
| Size | 46240 |
| MD5sum | 12a5331e38a0c22380ca74c03a8a5dac |
| SHA256 | 85570c589a78184e241d59a7a915f67a3cc455123f72f10c50ea3f719a4b655a |
Files in package
- /usr/lib/ghc-doc/haddock/dependent-sum-0.7.2.0/dependent-sum.haddock
- /usr/lib/ghc-doc/hoogle/libghc-dependent-sum-doc.txt
- /usr/share/doc/libghc-dependent-sum-doc/buildinfo_all.gz
- /usr/share/doc/libghc-dependent-sum-doc/changelog.Debian.gz
- /usr/share/doc/libghc-dependent-sum-doc/changelog.gz
- /usr/share/doc/libghc-dependent-sum-doc/copyright
- /usr/share/doc/libghc-dependent-sum-doc/html/Data-Dependent-Sum.html
- /usr/share/doc/libghc-dependent-sum-doc/html/dependent-sum.txt
- /usr/share/doc/libghc-dependent-sum-doc/html/doc-index.html
- /usr/share/doc/libghc-dependent-sum-doc/html/haddock-bundle.min.js
- /usr/share/doc/libghc-dependent-sum-doc/html/index.html
- /usr/share/doc/libghc-dependent-sum-doc/html/linuwial.css
- /usr/share/doc/libghc-dependent-sum-doc/html/meta.json
- /usr/share/doc/libghc-dependent-sum-doc/html/quick-jump.css
- /usr/share/doc/libghc-dependent-sum-doc/html/src/Data.Dependent.Sum.html
- /usr/share/doc/libghc-dependent-sum-doc/html/src/highlight.js
- /usr/share/doc/libghc-dependent-sum-doc/html/src/style.css
- /usr/share/doc/libghc-dependent-sum-doc/html/synopsis.png