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
Relation | Direction | Type | Name | |
---|---|---|---|---|
built-using | Source package | minisat2_1:2.2.1-5 |
|