Accepted sat4j 2.3.5-0.3 (source) into unstable

-----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 <mt@debian.org>
Changed-By: Markus Koschany <apo@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-----