About

This package is 29.0 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-dependent-sum/libghc-dependent-sum-doc_0.2.1.0-5_all.deb .

View its full control file here: debian/control.

Description

Dependent sum type; documentation

Relations

This package depends on: haddock-interface-27.

This package recommends: ghc-doc.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libghc-dependent-sum-doc 0.2.1.0-5 is in ubuntu - xenial / universe. 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.4 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/changelog.Debian.gz application/gzip root:root 0o644 478 bytes
/usr/share/doc/libghc-dependent-sum-doc/copyright text/plain root:root 0o644 308 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 17.7 KB
/usr/share/doc/libghc-dependent-sum-doc/html/Data-GADT-Compare.html text/html root:root 0o644 18.1 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 11.7 KB
/usr/share/doc/libghc-dependent-sum-doc/html/doc-index.html text/html root:root 0o644 5.0 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 652 bytes
/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.7 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.8 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-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 3.2 KB