Publishing details

• Published on 2017-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

minisat+ (1.0-4) unstable; urgency=medium

  * debian/tests/control: add Depends: @ for test "upstream".

 -- Ralf Treinen <email address hidden>  Sun, 19 Feb 2017 17:03:19 +0100

Builds

Built packages

• minisat+ solver for pseudo-Boolean constraints

• minisat+-dbgsym Debug symbols for minisat+

Package files

• minisat+-dbgsym_1.0-4_amd64.ddeb (834.7 KiB)
• minisat+-dbgsym_1.0-4_arm64.ddeb (821.3 KiB)
• minisat+-dbgsym_1.0-4_armhf.ddeb (791.5 KiB)
• minisat+-dbgsym_1.0-4_i386.ddeb (789.1 KiB)
• minisat+-dbgsym_1.0-4_ppc64el.ddeb (842.0 KiB)
• minisat+-dbgsym_1.0-4_s390x.ddeb (899.8 KiB)
• minisat+_1.0-4.debian.tar.xz (4.1 KiB)
• minisat+_1.0-4.dsc (1.9 KiB)
• minisat+_1.0-4_amd64.deb (154.9 KiB)
• minisat+_1.0-4_arm64.deb (131.6 KiB)
• minisat+_1.0-4_armhf.deb (122.3 KiB)
• minisat+_1.0-4_i386.deb (145.9 KiB)
• minisat+_1.0-4_ppc64el.deb (146.1 KiB)
• minisat+_1.0-4_s390x.deb (146.2 KiB)
• minisat+_1.0.orig.tar.gz (78.1 KiB)