Package - libghc-smtlib-doc

Package: libghc-smtlib-doc
apt-get install libghc-smtlib-doc

Documentations in package:

libghc-smtlib-doc

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-smtlib/libghc-smtlib-doc_1.1-4_all.deb (Size: 93.8KiB)

Property	Value
Package	libghc-smtlib-doc
Source	haskell-smtlib
Version	1.1-4
Installed-Size	1888
Maintainer	Debian Haskell Group
Architecture	all
Depends	haddock-interface-42
Recommends	ghc-doc, libghc-smtlib-dev, libjs-mathjax
Suggests	libghc-smtlib-prof
Description	A library for working with the SMTLIB format.; documentation
Description-md5	a11ea97faf3eed3767c41290adb23042
Section	doc
Priority	optional
Filename	pool/main/h/haskell-smtlib/libghc-smtlib-doc_1.1-4_all.deb
Size	96044
MD5sum	18b512b22056cd4037508567c9d1ee9f
SHA256	bbcfdce1753ea6b36f01042106736260b34296f667e610ee51d5366f850413d8

Files in package

/usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock
/usr/share/doc/libghc-smtlib-doc/buildinfo_all.gz
/usr/share/doc/libghc-smtlib-doc/changelog.Debian.gz
/usr/share/doc/libghc-smtlib-doc/changelog.gz
/usr/share/doc/libghc-smtlib-doc/copyright
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_AUFBV.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1-QF_BV.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib1.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Array.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-BitVector.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Compat1.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Core.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2-Int.html
/usr/share/doc/libghc-smtlib-doc/html/SMTLib2.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-46.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-61.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-A.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-All.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-B.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-C.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-D.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-E.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-F.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-G.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-I.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-L.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-N.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-O.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-P.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Q.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-R.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-S.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-T.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-U.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-V.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-X.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index-Z.html
/usr/share/doc/libghc-smtlib-doc/html/doc-index.html
/usr/share/doc/libghc-smtlib-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-smtlib-doc/html/index.html
/usr/share/doc/libghc-smtlib-doc/html/linuwial.css
/usr/share/doc/libghc-smtlib-doc/html/meta.json
/usr/share/doc/libghc-smtlib-doc/html/quick-jump.css
/usr/share/doc/libghc-smtlib-doc/html/smtLib.txt
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.AST.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.PP.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.QF_AUFBV.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.QF_BV.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib1.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.AST.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Array.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.BitVector.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Compat1.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Core.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.Int.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.PP.html
/usr/share/doc/libghc-smtlib-doc/html/src/SMTLib2.html
/usr/share/doc/libghc-smtlib-doc/html/src/highlight.js
/usr/share/doc/libghc-smtlib-doc/html/src/style.css
/usr/share/doc/libghc-smtlib-doc/html/synopsis.png