This package is 34.6 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-presburger/libghc-presburger-doc_1.3.1-3build1_all.deb
.
View its full control file here:
debian/control.
decision procedure for quantifier-free linear arithmetic; documentation
This package depends on:
haddock-interface-28.
This package recommends:
ghc-doc, libjs-mathjax.
This package does not suggest any other package.
This package does not conflict with any other package.
libghc-presburger-doc 1.3.1-3build1 is in ubuntu - bionic / 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 | 20.2 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 | 408 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 | 44.0 KB |
/usr/share/doc/libghc-presburger-doc/html/doc-index.html
|
text/html | root:root | 0o644 | 6.8 KB |
/usr/share/doc/libghc-presburger-doc/html/haddock-util.js
|
text/plain | root:root | 0o644 | 7.4 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.html
|
text/html | root:root | 0o644 | 1.7 KB |
/usr/share/doc/libghc-presburger-doc/html/mini_Data-Integer-SAT.html
|
text/html | root:root | 0o644 | 3.6 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 | 9.2 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 |