Ubuntu
haskell-simple-smt package

haskell-simple-smt source package in Noble

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-2
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-2)

File Size SHA-256 Checksum
haskell-simple-smt_0.9.7-2.dsc 2.3 KiB 290d63689c873df126f27b2d58b48fb372eaaf2b6656a9e9a6a38699e668fae8
haskell-simple-smt_0.9.7.orig.tar.gz 9.9 KiB 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d
haskell-simple-smt_0.9.7-2.debian.tar.xz 2.6 KiB 13774702000f6e69e43444bb528cf1486b6894ae0c736215bad644eb688fee40

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies