Artifact minisat2_1:2.2.1-5+b3_arm64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: arm64
  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_arm64.deb
Binary file minisat2_2.2.1-5+b3_arm64.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

binary package System - - 5 months, 4 weeks ago 5 months
BETA