Format: 1.8
Date: Fri, 13 Apr 2018 18:54:47 +0200
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.5-0.3
Distribution: sid
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:
 0231fcaccfaccbaacb1d790270034083790fd5ef 567340 sat4j_2.3.5-0.3_all.deb
 65c1e025448c121a3d69e05f41535a9214cfe281 13352 sat4j_2.3.5-0.3_arm64.buildinfo
Checksums-Sha256:
 af7c2bb99b26339d587430e32c08eb920f747d1ece2dab453fd9e1f76fde6e08 567340 sat4j_2.3.5-0.3_all.deb
 895aa4c400796e7a31a5888ed2eba9d6c0e60a0fbc98c2ecaf422ebd8babf3bd 13352 sat4j_2.3.5-0.3_arm64.buildinfo
Files:
 f57331a9f8b92c35a8434eaca27e2443 567340 science optional sat4j_2.3.5-0.3_all.deb
 4bd716ed560b46ca22c070691134280b 13352 science optional sat4j_2.3.5-0.3_arm64.buildinfo