This package is 40.1 KB.
It is available at http://ftp.debian.org/debian/pool/main/h/haskell-dependent-sum/libghc-dependent-sum-doc_0.2.1.0-1_all.deb
.
View its full control file here:
debian/control.
Dependent sum type; documentation
This package depends on:
haddock-interface-22.
This package recommends:
ghc-doc, libghc-dependent-sum-dev.
This package does not suggest any other package.
This package does not conflict with any other package.
libghc-dependent-sum-doc 0.2.1.0-1 is in debian - jessie / main. This package's architecture is: architectureless.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/ghc-doc/
|
root:root | 0o755 | ||
/usr/lib/ghc-doc/haddock/
|
root:root | 0o755 | ||
/usr/lib/ghc-doc/haddock/dependent-sum-0.2.1.0/
|
root:root | 0o755 | ||
/usr/lib/ghc-doc/haddock/dependent-sum-0.2.1.0/dependent-sum.haddock
|
application/octet-stream | root:root | 0o644 | 28.6 KB |
/usr/lib/ghc-doc/hoogle/
|
root:root | 0o755 | ||
/usr/lib/ghc-doc/hoogle/libghc-dependent-sum-doc.txt
|
root:root | 0o777 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-dependent-sum-doc/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-dependent-sum-doc/buildinfo_all.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/libghc-dependent-sum-doc/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 225 bytes |
/usr/share/doc/libghc-dependent-sum-doc/copyright
|
text/plain | root:root | 0o644 | 285 bytes |
/usr/share/doc/libghc-dependent-sum-doc/html/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-dependent-sum-doc/html/Data-Dependent-Sum.html
|
text/html | root:root | 0o644 | 16.9 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/Data-GADT-Compare.html
|
text/html | root:root | 0o644 | 15.3 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/Data-GADT-Show.html
|
text/html | root:root | 0o644 | 8.6 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/dependent-sum.txt
|
text/x-c++ | root:root | 0o644 | 8.5 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/doc-index.html
|
text/html | root:root | 0o644 | 4.8 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/frames.html
|
text/html | root:root | 0o644 | 860 bytes |
/usr/share/doc/libghc-dependent-sum-doc/html/haddock-util.js
|
text/plain | root:root | 0o644 | 8.0 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/hslogo-16.png
|
image/png | root:root | 0o644 | 1.6 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/index-frames.html
|
text/html | root:root | 0o644 | 906 bytes |
/usr/share/doc/libghc-dependent-sum-doc/html/index.html
|
text/html | root:root | 0o644 | 2.2 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/mini_Data-Dependent-Sum.html
|
text/html | root:root | 0o644 | 1.3 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/mini_Data-GADT-Compare.html
|
text/html | root:root | 0o644 | 1.5 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/mini_Data-GADT-Show.html
|
text/html | root:root | 0o644 | 1.4 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/minus.gif
|
image/gif | root:root | 0o644 | 56 bytes |
/usr/share/doc/libghc-dependent-sum-doc/html/ocean.css
|
text/plain | root:root | 0o644 | 8.0 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/plus.gif
|
image/gif | root:root | 0o644 | 59 bytes |
/usr/share/doc/libghc-dependent-sum-doc/html/src/
|
root:root | 0o755 | ||
/usr/share/doc/libghc-dependent-sum-doc/html/src/Data-Dependent-Sum.html
|
text/xml | root:root | 0o644 | 33.0 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/src/Data-Dependent-Sum-Typeable.html
|
text/xml | root:root | 0o644 | 5.4 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/src/Data-GADT-Compare.html
|
text/xml | root:root | 0o644 | 28.0 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/src/Data-GADT-Show.html
|
text/xml | root:root | 0o644 | 8.0 KB |
/usr/share/doc/libghc-dependent-sum-doc/html/src/hscolour.css
|
text/plain | root:root | 0o644 | 243 bytes |
/usr/share/doc/libghc-dependent-sum-doc/html/synopsis.png
|
image/png | root:root | 0o644 | 11.1 KB |