minisat+ source package in Trusty

minisat+: No summary available for minisat+ in ubuntu yakkety.
minisat+-dbgsym: No summary available for minisat+-dbgsym in ubuntu yakkety.

Versions published


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

minisat+ information

Current version:
Low 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.

Is the following project the upstream for this source package?

Releases in Ubuntu

Binary packages

Download files from current release (1.0-2)

File Size SHA-256 Checksum
minisat+_1.0.orig.tar.gz 78.1 KiB f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b
minisat+_1.0-2.debian.tar.gz 3.9 KiB 3d9f88e1c10d33c197f21ae5de57d32e7441a2370faefdb398a2f27e241844bd
minisat+_1.0-2.dsc 1.2 KiB ff8609c5efc25c7b87f18f1136e91321964224d1b7fa7bd6d6a0354c7f81e742

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies