libghc-smtlib-doc 1.0.8-3build1 in ubuntu - bionic / universe

Please wait until we finish indexing this package to access /control.

About

This package is 49.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-smtlib/libghc-smtlib-doc_1.0.8-3build1_all.deb .

View its full control file here: debian/control.

Description

A library for working with the SMTLIB format.; documentation

Relations

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.

Package Contents

This package is indexed.

libghc-smtlib-doc 1.0.8-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/smtlib-1.0.8/ root:root 0o755
/usr/lib/ghc-doc/haddock/smtlib-1.0.8/smtLib.haddock application/octet-stream root:root 0o644 20.2 KB
/usr/lib/ghc-doc/hoogle/ root:root 0o755
/usr/lib/ghc-doc/hoogle/libghc-smtlib-doc.txt root:root 0o777
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libghc-smtlib-doc/ root:root 0o755
/usr/share/doc/libghc-smtlib-doc/changelog.Debian.gz application/gzip root:root 0o644 637 bytes
/usr/share/doc/libghc-smtlib-doc/copyright text/plain root:root 0o644 1.4 KB
/usr/share/doc/libghc-smtlib-doc/html/ root:root 0o755
/usr/share/doc/libghc-smtlib-doc/html/doc-index-46.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html text/html root:root 0o644 2.8 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-A.html text/html root:root 0o644 4.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-All.html text/html root:root 0o644 40.4 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html text/html root:root 0o644 12.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html text/html root:root 0o644 6.6 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html text/html root:root 0o644 2.5 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html text/html root:root 0o644 2.9 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html text/html root:root 0o644 4.6 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html text/html root:root 0o644 4.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html text/html root:root 0o644 4.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html text/html root:root 0o644 4.0 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html text/html root:root 0o644 3.4 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html text/html root:root 0o644 2.7 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html text/html root:root 0o644 3.0 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html text/html root:root 0o644 4.4 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html text/html root:root 0o644 4.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html text/html root:root 0o644 2.4 KB
/usr/share/doc/libghc-smtlib-doc/html/haddock-util.js text/plain root:root 0o644 7.4 KB
/usr/share/doc/libghc-smtlib-doc/html/hslogo-16.png image/png root:root 0o644 652 bytes
/usr/share/doc/libghc-smtlib-doc/html/index.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib1.html text/html root:root 0o644 3.7 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib1-QF_AUFBV.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib1-QF_BV.html text/html root:root 0o644 4.7 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Array.html text/html root:root 0o644 1.0 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-BitVector.html text/html root:root 0o644 4.6 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Compat1.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Core.html text/html root:root 0o644 1.8 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2.html text/html root:root 0o644 2.7 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Int.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libghc-smtlib-doc/html/minus.gif image/gif root:root 0o644 56 bytes
/usr/share/doc/libghc-smtlib-doc/html/ocean.css text/plain root:root 0o644 9.2 KB
/usr/share/doc/libghc-smtlib-doc/html/plus.gif image/gif root:root 0o644 59 bytes
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1.html text/html root:root 0o644 192.9 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html text/html root:root 0o644 22.0 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html text/html root:root 0o644 13.6 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html text/html root:root 0o644 9.1 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html text/html root:root 0o644 4.4 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html text/html root:root 0o644 176.7 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html text/html root:root 0o644 5.1 KB
/usr/share/doc/libghc-smtlib-doc/html/smtLib.txt text/x-c++ root:root 0o644 8.9 KB
/usr/share/doc/libghc-smtlib-doc/html/src/ root:root 0o755
/usr/share/doc/libghc-smtlib-doc/html/src/hscolour.css text/plain root:root 0o644 243 bytes
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1-AST.html text/xml root:root 0o644 30.6 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.html text/xml root:root 0o644 5.1 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1-PP.html text/xml root:root 0o644 30.5 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1-QF_AUFBV.html text/xml root:root 0o644 3.9 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1-QF_BV.html text/xml root:root 0o644 30.4 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-Array.html text/xml root:root 0o644 3.2 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-AST.html text/xml root:root 0o644 25.3 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-BitVector.html text/xml root:root 0o644 28.0 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-Compat1.html text/xml root:root 0o644 46.9 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-Core.html text/xml root:root 0o644 7.7 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.html text/xml root:root 0o644 3.9 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-Int.html text/xml root:root 0o644 9.4 KB
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2-PP.html text/xml root:root 0o644 36.5 KB
/usr/share/doc/libghc-smtlib-doc/html/synopsis.png image/png root:root 0o644 3.2 KB

APT Browse - Built by Thomas Orozco.