todo
- Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 2 warnings about this package.
problems
- There were override disparities found in suite unstable:
- minisat2: Override says science - optional, .deb says oldlibs - extra
- minisat: Override says science - optional, .deb says science - extra
news RSS
- [2024-03-08] minisat2 1:2.2.1-8 MIGRATED to testing (Britney)
- [2024-02-26] Accepted 1:2.2.1-8 in unstable (low) (Debian FTP Masters)
- [2024-02-22] Accepted 1:2.2.1-7 in unstable (low) (Debian FTP Masters)
- [2024-02-20] Accepted 1:2.2.1-6 in unstable (low) (Debian FTP Masters)
- [2014-08-10] minisat2 1:2.2.1-5 MIGRATED to testing (Britney)
- [2014-07-30] Accepted 1:2.2.1-5 in unstable (low) (Michael Tautschnig)
- [2013-07-23] minisat2 1:2.2.1-4 MIGRATED to testing (Britney)
- [2013-07-12] Accepted 1:2.2.1-4 in unstable (low) (Michael Tautschnig)
- [2011-09-14] minisat2 1:2.2.1-3 MIGRATED to testing (Britney)
- [2011-09-03] Accepted 1:2.2.1-3 in unstable (low) (Michael Tautschnig)
- [2011-06-24] minisat2 1:2.2.1-2 MIGRATED to testing (Britney)
- [2011-06-13] Accepted 1:2.2.1-2 in unstable (low) (Michael Tautschnig)
- [2011-04-09] minisat2 1:2.2.1-1 MIGRATED to testing (Britney)
- [2011-03-29] Accepted 1:2.2.1-1 in unstable (low) (Michael Tautschnig)
- [2011-01-20] Accepted 1:2.2.0-3 in experimental (low) (Michael Tautschnig)
- [2010-08-05] minisat2 1:2.2.0-2 MIGRATED to testing (Britney)
- [2010-07-25] Accepted 1:2.2.0-2 in unstable (low) (Michael Tautschnig)
- [2010-07-25] Accepted 1:2.2.0-1 in unstable (low) (Michael Tautschnig)
- [2010-01-09] minisat2 070721-8 MIGRATED to testing (Britney)
- [2009-12-29] Accepted 070721-8 in unstable (low) (Michael Tautschnig)
- [2009-12-29] Accepted 070721-7 in unstable (low) (Michael Tautschnig)
- [2009-02-16] minisat2 070721-6 MIGRATED to testing (Britney)
- [2008-10-26] Accepted 070721-6 in unstable (low) (Michael Tautschnig)
- [2008-10-06] minisat2 070721-5 MIGRATED to testing (Britney)
- [2008-09-07] Accepted 070721-5 in unstable (low) (Michael Tautschnig)
- [2008-09-07] Accepted 070721-4 in unstable (low) (Michael Tautschnig)
- [2008-06-28] minisat2 070721-3 MIGRATED to testing (Britney)
- [2008-06-17] Accepted 070721-3 in unstable (low) (Michael Tautschnig)
- [2008-06-16] Accepted 070721-2 in unstable (low) (Michael Tautschnig)
- [2008-06-15] Accepted 070721-1 in unstable (low) (Michael Tautschnig)
links
- homepage
- changelog / copyright
- buildd: logs, checks, clang
- lintian (0, 2)
- popcon
- debtags
- screenshots
-
RDF meta-data
- browse source code