Package - libghc-simple-smt-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/h/haskell-simple-smt/libghc-simple-smt-dev_0.9.7-3+b1_amd64.deb (Size: 96.8KiB)| Property | Value |
|---|---|
| Package | libghc-simple-smt-dev |
| Source | haskell-simple-smt (0.9.7-3) |
| Version | 0.9.7-3+b1 |
| Installed-Size | 799 |
| Maintainer | Debian Haskell Group |
| Architecture | amd64 |
| Provides | libghc-simple-smt-dev-0.9.7-1db55 |
| Depends | libghc-base-dev-4.18.2.1-8e81e, libghc-process-dev-1.6.19.0-48ee2, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg) |
| Description | A simple way to interact with an SMT solver process. |
| Description-md5 | 0707b18a20b500c0bdfb0b10fd95bb7f |
| Homepage | http://hackage.haskell.org/package/simple-smt |
| Ghc-Package | simple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi |
| Section | haskell |
| Priority | optional |
| Filename | pool/main/h/haskell-simple-smt/libghc-simple-smt-dev_0.9.7-3+b1_amd64.deb |
| Size | 99152 |
| MD5sum | 02b9164fa2b693fc78eca579ce621ce0 |
| SHA256 | d8a3c740a3bee3ac1e2c04fe95a4ffc28f6673428f86bf1dbd6dfa7098fe53e3 |
Files in package
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSsimple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi-ghc9.6.6.so
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/simple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi/SimpleSMT.dyn_hi
- /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/simple-smt-0.9.7-IAhbk9w2LQCLQcP5eFQ7Hi/SimpleSMT.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.a
- /usr/share/doc/libghc-simple-smt-dev/changelog.Debian.amd64.gz
- /usr/share/doc/libghc-simple-smt-dev/changelog.Debian.gz
- /usr/share/doc/libghc-simple-smt-dev/changelog.gz
- /usr/share/doc/libghc-simple-smt-dev/copyright
- /var/lib/ghc/package.conf.d/simple-smt-0.9.7.conf