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: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-053.buildd>
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:
 1b768dc38feb100848a76796c7ec2686b37202b4 561236 sat4j_2.3.5-0.3_all.deb
 55b52bb0d4db2b2d9ed0ef4e969c02abc4261686 11146 sat4j_2.3.5-0.3_amd64.buildinfo
Checksums-Sha256:
 85b05e30df34eda2fc0deff382a85afa6f123a3305f01d099bad02cd3c1c813d 561236 sat4j_2.3.5-0.3_all.deb
 a3b34751e9e45949821baa65a870345bba1b99819fe195f78a9e6d20747a7571 11146 sat4j_2.3.5-0.3_amd64.buildinfo
Files:
 93240b2a8ec5e08de672fdd19a374ca4 561236 science optional sat4j_2.3.5-0.3_all.deb
 c9e7f2b2087489e48f888c1e1c8ea8c7 11146 science optional sat4j_2.3.5-0.3_amd64.buildinfo