Bug#893411: sat4j FTBFS with openjdk-9

Control: tags -1 pending Dear maintainer, I've uploaded a new revision of sat4j versioned as 2.3.5-0.3 to fix Debian bug #893411. Please find attached the debdiff. Regards, Markus diff -Nru sat4j-2.3.5/debian/changelog sat4j-2.3.5/debian/changelog --- sat4j-2.3.5/debian/changelog2016-11

Bug#893411: sat4j FTBFS with openjdk-9

On Sun, 18 Mar 2018 19:58:15 +0200 Adrian Bunk wrote: > Source: sat4j > Version: 2.3.5-0.2 > ... > [javac] > /build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: > error: unmappable character (0xC3) for encoding US-ASCII > [javac] * Jo??o Marques-Sil

Bug#893411: sat4j FTBFS with openjdk-9

Source: sat4j Version: 2.3.5-0.2 Severity: serious Tags: buster sid https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/sat4j.html ... build: [echo] Compiling source code org.sat4j.core/src/main/java using target 1.5 [javac] Using javac -source 1.5 is no longer supported,