libghc-smtlib-doc 1.0.7-3 in ubuntu - xenial / universe

About

This package is 43.9 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-smtlib/libghc-smtlib-doc_1.0.7-3_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-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-smtlib-doc 1.0.7-3 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/smtlib-1.0.7/ root:root 0o755
/usr/lib/ghc-doc/haddock/smtlib-1.0.7/smtLib.haddock application/octet-stream root:root 0o644 20.1 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 336 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.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html text/html root:root 0o644 2.7 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.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html text/html root:root 0o644 12.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html text/html root:root 0o644 6.4 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html text/html root:root 0o644 2.4 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html text/html root:root 0o644 2.8 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html text/html root:root 0o644 2.1 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index.html text/html root:root 0o644 1.9 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html text/html root:root 0o644 4.4 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html text/html root:root 0o644 4.1 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html text/html root:root 0o644 4.1 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html text/html root:root 0o644 3.9 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html text/html root:root 0o644 3.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html text/html root:root 0o644 2.6 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html text/html root:root 0o644 2.9 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html text/html root:root 0o644 4.3 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html text/html root:root 0o644 4.1 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html text/html root:root 0o644 2.1 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html text/html root:root 0o644 2.3 KB
/usr/share/doc/libghc-smtlib-doc/html/frames.html text/html root:root 0o644 860 bytes
/usr/share/doc/libghc-smtlib-doc/html/haddock-util.js text/plain root:root 0o644 8.0 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-frames.html text/html root:root 0o644 1.4 KB
/usr/share/doc/libghc-smtlib-doc/html/index.html text/html root:root 0o644 2.1 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib1.html text/html root:root 0o644 3.6 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib1-QF_AUFBV.html text/html root:root 0o644 956 bytes
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib1-QF_BV.html text/html root:root 0o644 4.6 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Array.html text/html root:root 0o644 941 bytes
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-BitVector.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Compat1.html text/html root:root 0o644 2.2 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2-Core.html text/html root:root 0o644 1.7 KB
/usr/share/doc/libghc-smtlib-doc/html/mini_SMTLib2.html text/html root:root 0o644 2.6 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 8.8 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 45.3 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html text/html root:root 0o644 3.3 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html text/html root:root 0o644 20.4 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html text/html root:root 0o644 2.0 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html text/html root:root 0o644 12.0 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html text/html root:root 0o644 6.4 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html text/html root:root 0o644 3.9 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html text/html root:root 0o644 35.8 KB
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libghc-smtlib-doc/html/smtLib.txt text/x-c++ root:root 0o644 8.8 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 28.1 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 22.9 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 35.8 KB
/usr/share/doc/libghc-smtlib-doc/html/synopsis.png image/png root:root 0o644 3.2 KB

APT Browse - Built by Thomas Orozco.