Artifact minisat2_1:2.2.1-8

Metadata
dsc_fields:
  Architecture: any
  Binary: minisat
  Build-Depends: debhelper-compat (= 13), libz-dev
  Checksums-Sha1:
  - name: minisat2_2.2.1.orig.tar.gz
    sha1: 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20
    size: '44229'
  - name: minisat2_2.2.1-8.debian.tar.xz
    sha1: 6bc6024c8b1cc283c0b79c688c634bea5a390290
    size: '9864'
  Checksums-Sha256:
  - name: minisat2_2.2.1.orig.tar.gz
    sha256: e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40
    size: '44229'
  - name: minisat2_2.2.1-8.debian.tar.xz
    sha256: f89f4f9c4ddf57bb7cdf3aa77810b9042e2aa824197ebc5bf8faa5fda5d1745d
    size: '9864'
  Files:
  - md5sum: 27faa19ee0508660bd6fb7f894646d42
    name: minisat2_2.2.1.orig.tar.gz
    size: '44229'
  - md5sum: 262370b7be51773ccbedea58c59bd1df
    name: minisat2_2.2.1-8.debian.tar.xz
    size: '9864'
  Format: 3.0 (quilt)
  Homepage: http://minisat.se/
  Maintainer: Michael Tautschnig <mt@debian.org>
  Package-List: |2-

     minisat deb science optional arch=any
  Source: minisat2
  Standards-Version: 4.6.2
  Version: 1:2.2.1-8
name: minisat2
type: dpkg
version: 1:2.2.1-8

Files

Name Size (bytes)
minisat2_2.2.1-8.debian.tar.xz 9.6 KB
minisat2_2.2.1-8.dsc 1.7 KB
minisat2_2.2.1.orig.tar.gz 43.2 KB

source package System - - 7 months ago 6 months
BETA