Ubuntu
haskell-simple-smt package

haskell-simple-smt source package in Mantic

libghc-simple-smt-dev: A simple way to interact with an SMT solver process.
libghc-simple-smt-doc: A simple way to interact with an SMT solver process.; documentation
libghc-simple-smt-prof: A simple way to interact with an SMT solver process.; profiling libraries

Versions published

Release

The package versions that were published when the distribution release was made.

haskell-simple-smt information

Current version:
0.9.7-1build2
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Releases in Ubuntu

Binary packages

Download files from current release (0.9.7-1build2)

File Size SHA-256 Checksum
haskell-simple-smt_0.9.7.orig.tar.gz 9.9 KiB 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d
haskell-simple-smt_0.9.7-1build2.debian.tar.xz 2.6 KiB 8dfa4b4f9cbb676da864f91aa22806aa956edbbccdd786b61dcdf8fb95c4ecf5
haskell-simple-smt_0.9.7-1build2.dsc 2.3 KiB 201968ede41a6545a2dd9cb19acc387e900241fbbf4bff186a45c770576fb390

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies