Change logs for sat4j source package in Artful

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