Your message dated Fri, 13 Apr 2018 17:20:33 +0000
with message-id <e1f72nf-000dnh...@fasolo.debian.org>
and subject line Bug#893411: fixed in sat4j 2.3.5-0.3
has caused the Debian Bug report #893411,
regarding sat4j FTBFS with openjdk-9
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
893411: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893411
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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, switching to 1.6
[javac] Using javac -target 1.5 is no longer supported, switching to 1.6
[javac] Compiling 215 source files to /build/1st/sat4j-2.3.5/bin
[javac] warning: [options] bootstrap class path not set in conjunction with
-source 1.6
[javac] warning: [options] source value 1.6 is obsolete and will be removed
in a future release
[javac] warning: [options] target value 1.6 is obsolete and will be removed
in a future release
[javac] warning: [options] To suppress warnings about obsolete options, use
-Xlint:-options.
[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-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54:
error: unmappable character (0xA3) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[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-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54:
error: unmappable character (0xA1) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[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-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54:
error: unmappable character (0xAA) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70:
error: unmappable character (0xC3) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70:
error: unmappable character (0xA3) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70:
error: unmappable character (0xC3) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70:
error: unmappable character (0xA1) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70:
error: unmappable character (0xC3) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac]
/build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:70:
error: unmappable character (0xAA) for encoding US-ASCII
[javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On
Computing Backbones of
[javac] ^
[javac] 12 errors
[javac] 4 warnings
BUILD FAILED
/build/1st/sat4j-2.3.5/build.xml:210: The following error occurred while
executing this line:
/build/1st/sat4j-2.3.5/build.xml:330: Compile failed; see the compiler error
output for details.
Total time: 2 seconds
make[1]: *** [debian/rules:44: override_dh_auto_build] Error 1
--- End Message ---
--- Begin Message ---
Source: sat4j
Source-Version: 2.3.5-0.3
We believe that the bug you reported is fixed in the latest version of
sat4j, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 893...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Markus Koschany <a...@debian.org> (supplier of updated sat4j package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 13 Apr 2018 18:54:47 +0200
Source: sat4j
Binary: sat4j
Architecture: source
Version: 2.3.5-0.3
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Markus Koschany <a...@debian.org>
Description:
sat4j - Efficient library of SAT solvers in Java
Closes: 893411
Changes:
sat4j (2.3.5-0.3) unstable; urgency=medium
.
* Non-maintainer upload.
* Add encoding.patch and fix FTBFS with Java 9. (Closes: #893411)
Checksums-Sha1:
fff56bb77cbea8d4c0cca2a61d2ca0d68e52298a 2016 sat4j_2.3.5-0.3.dsc
4c5fa6a850e54a433a4607f883f9fc398789f791 17140 sat4j_2.3.5-0.3.debian.tar.xz
532ce6fb9772186e51c61234669a0a63a5b420f7 11998 sat4j_2.3.5-0.3_amd64.buildinfo
Checksums-Sha256:
f441accde25047b0401a222c125810a6741a569dd6c3cc11fc6b9aca44516ed5 2016
sat4j_2.3.5-0.3.dsc
83c0ddfba88b10adc900cc976c393a2f9dd2141a96facd98b34661a571a79986 17140
sat4j_2.3.5-0.3.debian.tar.xz
f5d53c02437468454431c2651af623dfde0669635ece48228624ea5c6df25a89 11998
sat4j_2.3.5-0.3_amd64.buildinfo
Files:
3133323b2fad24c55637185c5cd26dcd 2016 science optional sat4j_2.3.5-0.3.dsc
8020f66d1a2eb30f070491f66f649603 17140 science optional
sat4j_2.3.5-0.3.debian.tar.xz
782d663e4b4474865c0f9d8d8a60a917 11998 science optional
sat4j_2.3.5-0.3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQKjBAEBCgCNFiEErPPQiO8y7e9qGoNf2a0UuVE7UeQFAlrQ4gRfFIAAAAAALgAo
aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldEFD
RjNEMDg4RUYzMkVERUY2QTFBODM1RkQ5QUQxNEI5NTEzQjUxRTQPHGFwb0BkZWJp
YW4ub3JnAAoJENmtFLlRO1Hk+doP/j3AR9Oo1D0h3rtGIJqFhYZKQyFyuL31kdG2
SNiAcRhekvfY+9b5r63/pMnJL8Euw+GUpvhpglvPt3U2AoFrQQp5mUVXzHu+aSEf
TP1yI7YcI1qlrC101o3VvUZpHXmqJagaxhAyzonqJzJjrv5YXU6SUJBX2aRBgqML
J9AhNBtTdf7nm7/TUh25tfEQI3Ex+2boCnO+yM0W+oXpiDKX341yTZA4GRAfSr3D
7CYR3PQMtSnsjR2RXdlND6oDYN4KTUb5gDQl7URUZXLSxBw6dxWGnMtuyDYexfI4
BTuoNi5mJackWaiopHMX/bvGfTcqov6nD2zSf3q4hK8qk2uGr8VtLvxyUBmiPkNg
3mCoRM9eyyW1vm+5LnvTnvDo+OPNDRISTZH7IPQBSPt7PGz3nNx5NGRHU3h1nHeE
ixtDjQM8DuTXhn8ONy+kRUaifTeC2Pv+XFcu3orpFvHRtgybZbQfvaK2mfzfdpqy
xBELbtbYM/pOhoklIRTlb4Fn1ZWZRqRlTLoojey+mBwUMiYYtB6tMlTD2I800ja3
8SV1CKDU+xRvE8+HH3Pv7ZLK0Z2EO8eXl9vqV4+s0B1Z61J6VAAR4wtCw16RZDQr
Ym4WJkZuC8EyiRijwSzVRJ1NGkD/YWHOE2X9xF0nFjIgzUTwsg4LhBxyAd0EdJPI
PD2BdSPK
=YRT/
-----END PGP SIGNATURE-----
--- End Message ---
