Publishing details
-
Published
-
Copied from
ubuntu focal in
Primary Archive for Ubuntu
Changelog
minisat2 (1:2.2.1-5build2) focal; urgency=medium
* No-change rebuild for libgcc-s1 package name change.
-- Matthias Klose <email address hidden> Sun, 22 Mar 2020 16:49:51 +0100
Builds
Built packages
-
minisat
Fast and lightweight SAT solver
-
minisat-dbgsym
debug symbols for minisat
-
minisat2
Transitional package for minisat
Package files