About

This package is 33.8 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-presburger/libghc-presburger-doc_1.3.1-1_all.deb .

View its full control file here: debian/control.

Description

decision procedure for quantifier-free linear arithmetic; 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-presburger-doc 1.3.1-1 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/presburger-1.3.1/ root:root 0o755
/usr/lib/ghc-doc/haddock/presburger-1.3.1/presburger.haddock application/octet-stream root:root 0o644 19.3 KB
/usr/lib/ghc-doc/hoogle/ root:root 0o755
/usr/lib/ghc-doc/hoogle/libghc-presburger-doc.txt root:root 0o777
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libghc-presburger-doc/ root:root 0o755
/usr/share/doc/libghc-presburger-doc/changelog.Debian.gz application/gzip root:root 0o644 142 bytes
/usr/share/doc/libghc-presburger-doc/copyright text/plain root:root 0o644 1.4 KB
/usr/share/doc/libghc-presburger-doc/html/ root:root 0o755
/usr/share/doc/libghc-presburger-doc/html/Data-Integer-SAT.html text/html root:root 0o644 28.2 KB
/usr/share/doc/libghc-presburger-doc/html/doc-index.html text/html root:root 0o644 6.7 KB
/usr/share/doc/libghc-presburger-doc/html/frames.html text/html root:root 0o644 860 bytes
/usr/share/doc/libghc-presburger-doc/html/haddock-util.js text/plain root:root 0o644 8.0 KB
/usr/share/doc/libghc-presburger-doc/html/hslogo-16.png image/png root:root 0o644 652 bytes
/usr/share/doc/libghc-presburger-doc/html/index-frames.html text/html root:root 0o644 760 bytes
/usr/share/doc/libghc-presburger-doc/html/index.html text/html root:root 0o644 1.6 KB
/usr/share/doc/libghc-presburger-doc/html/mini_Data-Integer-SAT.html text/html root:root 0o644 3.5 KB
/usr/share/doc/libghc-presburger-doc/html/minus.gif image/gif root:root 0o644 56 bytes
/usr/share/doc/libghc-presburger-doc/html/ocean.css text/plain root:root 0o644 8.8 KB
/usr/share/doc/libghc-presburger-doc/html/plus.gif image/gif root:root 0o644 59 bytes
/usr/share/doc/libghc-presburger-doc/html/presburger.txt text/plain root:root 0o644 4.2 KB
/usr/share/doc/libghc-presburger-doc/html/src/ root:root 0o755
/usr/share/doc/libghc-presburger-doc/html/src/Data-Integer-SAT.html text/xml root:root 0o644 217.3 KB
/usr/share/doc/libghc-presburger-doc/html/src/hscolour.css text/plain root:root 0o644 243 bytes
/usr/share/doc/libghc-presburger-doc/html/synopsis.png image/png root:root 0o644 3.2 KB