Artifact sat4j_2.3.5-0.3

changes_fields:
  Architecture: all
  Binary: sat4j
  Changed-By: Markus Koschany <apo@debian.org>
  Changes: |2-

     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:
  - name: sat4j_2.3.5-0.3_all.deb
    sha1: 0231fcaccfaccbaacb1d790270034083790fd5ef
    size: '567340'
  - name: sat4j_2.3.5-0.3_arm64.buildinfo
    sha1: 65c1e025448c121a3d69e05f41535a9214cfe281
    size: '13352'
  Checksums-Sha256:
  - name: sat4j_2.3.5-0.3_all.deb
    sha256: af7c2bb99b26339d587430e32c08eb920f747d1ece2dab453fd9e1f76fde6e08
    size: '567340'
  - name: sat4j_2.3.5-0.3_arm64.buildinfo
    sha256: 895aa4c400796e7a31a5888ed2eba9d6c0e60a0fbc98c2ecaf422ebd8babf3bd
    size: '13352'
  Closes: '893411'
  Date: Fri, 13 Apr 2018 18:54:47 +0200
  Description: |2-

     sat4j      - Efficient library of SAT solvers in Java
  Distribution: sid
  Files:
  - md5sum: f57331a9f8b92c35a8434eaca27e2443
    name: sat4j_2.3.5-0.3_all.deb
    priority: optional
    section: science
    size: '567340'
  - md5sum: 4bd716ed560b46ca22c070691134280b
    name: sat4j_2.3.5-0.3_arm64.buildinfo
    priority: optional
    section: science
    size: '13352'
  Format: '1.8'
  Maintainer: Michael Tautschnig <mt@debian.org>
  Source: sat4j
  Urgency: medium
  Version: 2.3.5-0.3
type: dpkg