minisat2 - 1:2.2.1-5+b3 main

This is a transitional package for minisat, and can be safely removed after
the installation is complete.

Priority: optional
Section: science
Suites: amber byzantium crimson 
Maintainer: Michael Tautschnig <mt [꩜] debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 13.3 kB
Architectures: arm64  amd64 

 

Versions

1:2.2.1-5+b3 arm64 1:2.2.1-5+b3 amd64