Publishing details

Published on 2017-10-24
Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

sat4j (2.3.5-0.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Re-enabled javahelper to properly compute the package dependencies
  * Added symlinks to the old /usr/share/java/org.sat4j.*.jar files
    to preserve the backward compatibility

 -- Emmanuel Bourg <email address hidden>  Fri, 04 Nov 2016 23:10:51 +0100

Available diffs

diff from 2.3.5-0.1 to 2.3.5-0.2 (550 bytes)

Builds

Built packages

sat4j Efficient library of SAT solvers in Java

Package files

sat4j_2.3.5-0.2.debian.tar.xz (16.4 KiB)
sat4j_2.3.5-0.2.dsc (1.8 KiB)
sat4j_2.3.5-0.2_all.deb (529.9 KiB)
sat4j_2.3.5.orig.tar.gz (13.1 MiB)