haskell-simple-smt source package in Oracular

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-2build1
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?


Binary packages

Download files from current release (0.9.7-2build1)

File Size SHA-256 Checksum
haskell-simple-smt_0.9.7.orig.tar.gz 9.9 KiB 64d9962f6d310dce78548aff39a8a378074ec3b52d57e0985225e798d4e3599d
haskell-simple-smt_0.9.7-2build1.debian.tar.xz 2.6 KiB f9d063174e9082583adc273bbdde9cbd390da43c2ece4441350cc5e3acf925ae
haskell-simple-smt_0.9.7-2build1.dsc 2.3 KiB 556835bfe822228aa8131f0a7f2f34b6a7b3d61e3154a9781d81820d43d65928

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies