Publishing details

• Published on 2011-11-12

Changelog

minisat+ (1.0-2) unstable; urgency=low

  * Patch exitcode: non-null exit code on parse error.

minisat+ (1.0-1) unstable; urgency=low

  * Initial package (closes: Bug#626410)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  12 Nov 2011 07:25:07 +0000

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Built packages

• minisat+ solver for pseudo-Boolean constraints

Package files

• minisat+-dbgsym_1.0-2_s390x.ddeb (567.7 KiB)
• minisat+_1.0-2.debian.tar.gz (3.9 KiB)
• minisat+_1.0-2.dsc (1.2 KiB)
• minisat+_1.0-2_amd64.deb (176.3 KiB)
• minisat+_1.0-2_arm64.deb (172.0 KiB)
• minisat+_1.0-2_armel.deb (140.9 KiB)
• minisat+_1.0-2_armhf.deb (140.8 KiB)
• minisat+_1.0-2_i386.deb (168.1 KiB)
• minisat+_1.0-2_powerpc.deb (169.3 KiB)
• minisat+_1.0-2_ppc64el.deb (147.3 KiB)
• minisat+_1.0-2_s390x.deb (147.0 KiB)
• minisat+_1.0.orig.tar.gz (78.1 KiB)