Package - libghc-simple-smt-doc

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-simple-smt/libghc-simple-smt-doc_0.9.7-3_all.deb (Size: 72.2KiB)

Property	Value
Package	libghc-simple-smt-doc
Source	haskell-simple-smt
Version	0.9.7-3
Installed-Size	857
Maintainer	Debian Haskell Group
Architecture	all
Depends	haddock-interface-42
Recommends	ghc-doc, libghc-simple-smt-dev, libjs-mathjax
Suggests	libghc-simple-smt-prof
Description	A simple way to interact with an SMT solver process.; documentation
Description-md5	4e1c0f24d54977f3c09ec42252d03762
Homepage	http://hackage.haskell.org/package/simple-smt
Section	doc
Priority	optional
Filename	pool/main/h/haskell-simple-smt/libghc-simple-smt-doc_0.9.7-3_all.deb
Size	73944
MD5sum	fa11a70f2ff528212e58788456081203
SHA256	93cc1e093c42920bbb38bf0d610cc0767460010cc6b57e474c0d7103bd40bc5c

Files in package

• /usr/lib/ghc-doc/haddock/simple-smt-0.9.7/simple-smt.haddock
• /usr/lib/ghc-doc/hoogle/libghc-simple-smt-doc.txt
• /usr/share/doc/libghc-simple-smt-doc/buildinfo_all.gz
• /usr/share/doc/libghc-simple-smt-doc/changelog.Debian.gz
• /usr/share/doc/libghc-simple-smt-doc/changelog.gz
• /usr/share/doc/libghc-simple-smt-doc/copyright
• /usr/share/doc/libghc-simple-smt-doc/html/SimpleSMT.html
• /usr/share/doc/libghc-simple-smt-doc/html/doc-index.html
• /usr/share/doc/libghc-simple-smt-doc/html/haddock-bundle.min.js
• /usr/share/doc/libghc-simple-smt-doc/html/index.html
• /usr/share/doc/libghc-simple-smt-doc/html/linuwial.css
• /usr/share/doc/libghc-simple-smt-doc/html/meta.json
• /usr/share/doc/libghc-simple-smt-doc/html/quick-jump.css
• /usr/share/doc/libghc-simple-smt-doc/html/simple-smt.txt
• /usr/share/doc/libghc-simple-smt-doc/html/src/SimpleSMT.html
• /usr/share/doc/libghc-simple-smt-doc/html/src/highlight.js
• /usr/share/doc/libghc-simple-smt-doc/html/src/style.css
• /usr/share/doc/libghc-simple-smt-doc/html/synopsis.png