About

This package is 34.4 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-simple-smt/libghc-simple-smt-doc_0.6.0-3build1_all.deb .

View its full control file here: debian/control.

Description

A simple way to interact with an SMT solver process.; 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-simple-smt-doc 0.6.0-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/simple-smt-0.6.0/ root:root 0o755
/usr/lib/ghc-doc/haddock/simple-smt-0.6.0/simple-smt.haddock application/octet-stream root:root 0o644 25.6 KB
/usr/lib/ghc-doc/hoogle/ root:root 0o755
/usr/lib/ghc-doc/hoogle/libghc-simple-smt-doc.txt root:root 0o777
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libghc-simple-smt-doc/ root:root 0o755
/usr/share/doc/libghc-simple-smt-doc/changelog.Debian.gz application/gzip root:root 0o644 374 bytes
/usr/share/doc/libghc-simple-smt-doc/copyright text/plain root:root 0o644 1.9 KB
/usr/share/doc/libghc-simple-smt-doc/html/ root:root 0o755
/usr/share/doc/libghc-simple-smt-doc/html/doc-index.html text/html root:root 0o644 12.7 KB
/usr/share/doc/libghc-simple-smt-doc/html/haddock-util.js text/plain root:root 0o644 7.4 KB
/usr/share/doc/libghc-simple-smt-doc/html/hslogo-16.png image/png root:root 0o644 652 bytes
/usr/share/doc/libghc-simple-smt-doc/html/index.html text/html root:root 0o644 1.4 KB
/usr/share/doc/libghc-simple-smt-doc/html/mini_SimpleSMT.html text/html root:root 0o644 10.4 KB
/usr/share/doc/libghc-simple-smt-doc/html/minus.gif image/gif root:root 0o644 56 bytes
/usr/share/doc/libghc-simple-smt-doc/html/ocean.css text/plain root:root 0o644 9.2 KB
/usr/share/doc/libghc-simple-smt-doc/html/plus.gif image/gif root:root 0o644 59 bytes
/usr/share/doc/libghc-simple-smt-doc/html/SimpleSMT.html text/html root:root 0o644 88.2 KB
/usr/share/doc/libghc-simple-smt-doc/html/simple-smt.txt text/plain root:root 0o644 9.3 KB
/usr/share/doc/libghc-simple-smt-doc/html/src/ root:root 0o755
/usr/share/doc/libghc-simple-smt-doc/html/src/hscolour.css text/plain root:root 0o644 243 bytes
/usr/share/doc/libghc-simple-smt-doc/html/src/SimpleSMT.html text/xml root:root 0o644 140.1 KB
/usr/share/doc/libghc-simple-smt-doc/html/synopsis.png image/png root:root 0o644 3.2 KB