Artifact minisat2_1:2.2.1-5+b3_amd64

Metadata

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: minisat
  Description: |-
    Transitional package for minisat
     This is a transitional package for minisat, and can be safely removed after
     the installation is complete.
  Homepage: http://minisat.se/
  Installed-Size: '13'
  Maintainer: Michael Tautschnig <mt@debian.org>
  Package: minisat2
  Priority: extra
  Section: oldlibs
  Source: minisat2 (1:2.2.1-5)
  Version: 1:2.2.1-5+b3
srcpkg_name: minisat2
srcpkg_version: 1:2.2.1-5

File

minisat2_2.2.1-5+b3_amd64.deb

Binary file minisat2_2.2.1-5+b3_amd64.deb cannot be displayed. you can view it raw or download it instead.

Relations

Relation	Direction	Type	Name
built-using		Source package	minisat2_1:2.2.1-5