Artifact minisat2_1:2.2.1-5

dsc_fields:
  Architecture: any
  Binary: minisat, minisat2
  Build-Depends: debhelper (>= 9), libz-dev
  Checksums-Sha1:
  - name: minisat2_2.2.1.orig.tar.gz
    sha1: 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20
    size: '44229'
  - name: minisat2_2.2.1-5.debian.tar.xz
    sha1: 7e13866f0217cd5afc1060237b09facda071bf8d
    size: '9348'
  Checksums-Sha256:
  - name: minisat2_2.2.1.orig.tar.gz
    sha256: e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40
    size: '44229'
  - name: minisat2_2.2.1-5.debian.tar.xz
    sha256: 569d2e327a231e16cec180db6016345ca626d803746936dcf4bb82fc738ad9a4
    size: '9348'
  Files:
  - md5sum: 27faa19ee0508660bd6fb7f894646d42
    name: minisat2_2.2.1.orig.tar.gz
    size: '44229'
  - md5sum: e955db0db0eb10fa1d71e5858e60ee33
    name: minisat2_2.2.1-5.debian.tar.xz
    size: '9348'
  Format: 3.0 (quilt)
  Homepage: http://minisat.se/
  Maintainer: Michael Tautschnig <mt@debian.org>
  Package-List: |2-

     minisat deb science extra arch=any
     minisat2 deb oldlibs extra arch=any
  Source: minisat2
  Standards-Version: 3.9.5
  Vcs-Browser: http://github.com/niklasso/minisat
  Vcs-Git: git://gitorious.org/minisat-debian/minisat2.git
  Version: 1:2.2.1-5
name: minisat2
type: dpkg
version: 1:2.2.1-5