Package - libghc-simple-smt-prof
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/haskell-simple-smt/libghc-simple-smt-prof_0.9.7-3+b1_amd64.deb (Size: 87.1KiB)| Property | Value |
|---|---|
| Package | libghc-simple-smt-prof |
| Source | haskell-simple-smt (0.9.7-3) |
| Version | 0.9.7-3+b1 |
| Installed-Size | 754 |
| Maintainer | Debian Haskell Group |
| Architecture | amd64 |
| Provides | libghc-simple-smt-prof-0.9.7-1db55 |
| Depends | libghc-base-prof-4.18.2.1-8e81e, libghc-process-prof-1.6.19.0-48ee2, libghc-simple-smt-dev (= 0.9.7-3+b1) |
| Description | A simple way to interact with an SMT solver process.; profiling libraries |
| Description-md5 | 0676ef3f86f363d5800c333c66078c90 |
| Homepage | http://hackage.haskell.org/package/simple-smt |
| Section | haskell |
| Priority | optional |
| Filename | pool/main/h/haskell-simple-smt/libghc-simple-smt-prof_0.9.7-3+b1_amd64.deb |
| Size | 89204 |
| MD5sum | f4e6edecc3ef4c22826c2294ce2881e2 |
| SHA256 | 9179bf1593136eefcb021fba6348a869431a2c6ac36b1747ab16487c73500a31 |
Files in package
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/simple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi/SimpleSMT.p_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/simple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi/libHSsimple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi_p.a
- /usr/share/doc/libghc-simple-smt-prof/changelog.Debian.amd64.gz
- /usr/share/doc/libghc-simple-smt-prof/changelog.Debian.gz
- /usr/share/doc/libghc-simple-smt-prof/changelog.gz
- /usr/share/doc/libghc-simple-smt-prof/copyright