Publishing details

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

Changelog

sat4j (2.3.2-1) unstable; urgency=low


  * New upstream release
  * Bumped standards version to 3.9.4 (no changes)
  * Use target 1.5 instead of jsr14 as Java7 no longer allows generics with
    jsr14. Thanks Niels Thykier for the report and patch (closes: #678007) 

 -- Michael Tautschnig <email address hidden>  Sun, 02 Dec 2012 17:45:35 +0000

Builds

Built packages

• sat4j Efficient library of SAT solvers in Java

Package files

• sat4j_2.3.2-1.debian.tar.gz (11.5 KiB)
• sat4j_2.3.2-1.dsc (1.2 KiB)
• sat4j_2.3.2-1_all.deb (1014.1 KiB)
• sat4j_2.3.2.orig.tar.gz (13.7 MiB)