Publishing details

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

Changelog

sat4j (2.3.3-1) unstable; urgency=low


  * New upstream release
  * Bumped standards version to 3.9.5 (no changes)

 -- Michael Tautschnig <email address hidden>  Sat, 28 Jun 2014 17:04:41 +0100

Builds

Built packages

• sat4j Efficient library of SAT solvers in Java

Package files

• sat4j_2.3.3-1.debian.tar.xz (10.5 KiB)
• sat4j_2.3.3-1.dsc (1.8 KiB)
• sat4j_2.3.3-1_all.deb (383.8 KiB)
• sat4j_2.3.3.orig.tar.gz (15.1 MiB)