sat4j (2.3.5-0.3) unstable; urgency=medium * Non-maintainer upload. * Add encoding.patch and fix FTBFS with Java 9. (Closes: #893411) -- Markus Koschany <email address hidden> Fri, 13 Apr 2018 18:54:47 +0200