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