Publishing details

• Published on 2009-06-04

Changelog

sat4j (2.1.0-0ubuntu1~ppa1) jaunty; urgency=low

  * New upstream release

 -- Nathan Summers <email address hidden>   Thu, 04 Jun 2009 14:48:44 -0400

Builds

• i386

Built packages

• sat4j Efficient library of SAT solvers in Java

Package files

• sat4j_2.1.0-0ubuntu1~ppa1.diff.gz (8.7 KiB)
• sat4j_2.1.0-0ubuntu1~ppa1.dsc (1.2 KiB)
• sat4j_2.1.0-0ubuntu1~ppa1_all.deb (236.0 KiB)
• sat4j_2.1.0.orig.tar.gz (13.1 MiB)