Publishing details

• Published on 2012-04-19

Changelog

zchaff (2008.10.12-4ubuntu2) precise; urgency=low

  * Changed distro to "precise"
 -- Christian Maeder <email address hidden>   Thu, 19 Apr 2012 11:40:47 +0200

Builds

• amd64
• i386

Built packages

• zchaff Basic Debian package for the zChaff solver.

• zchaff-utils Utils Debian package for the zChaff solver.

Package files

• zchaff-utils_2008.10.12-4ubuntu2_amd64.deb (78.5 KiB)
• zchaff-utils_2008.10.12-4ubuntu2_i386.deb (76.6 KiB)
• zchaff_2008.10.12-4ubuntu2.diff.gz (2.5 KiB)
• zchaff_2008.10.12-4ubuntu2.dsc (1.4 KiB)
• zchaff_2008.10.12-4ubuntu2_amd64.deb (50.1 KiB)
• zchaff_2008.10.12-4ubuntu2_i386.deb (49.7 KiB)
• zchaff_2008.10.12.orig.tar.gz (44.7 KiB)