general
- source
- minisat+ (source, science)
- version
- 1.0-4
- maint
- Debian Science Maintainers (a), Ralf Treinen (u)
- std-ver
- 3.9.8
- VCS
- Git (browse)
todo
- Lintian reports 5 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 error about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 3.9.8).
- The BTS contains patches fixing 1 bug, consider including or untagging it.
problems
- The package is severely out of date with respect to the Debian Policy. Latest version is 4.6.2 and your package only follows 3.9.8...
- There were override disparities found in suite unstable:
- minisat+: Override says science - optional, .deb says science - extra
- The package has a debian/watch file, but the last attempt
to use it for checking for newer upstream versions failed with
an error:
In watchfile debian/watch, reading webpage http://minisat.se/downloads/ failed: 404 Not Found
news RSS
- [2017-06-20] minisat+ 1.0-4 MIGRATED to testing (Britney)
- [2017-02-22] Accepted 1.0-4 in unstable (medium) (Ralf Treinen)
- [2016-12-31] minisat+ 1.0-3 MIGRATED to testing (Britney)
- [2016-12-19] Accepted 1.0-3 in unstable (medium) (Ralf Treinen)
- [2011-06-04] minisat+ 1.0-2 MIGRATED to testing (Britney)
- [2011-05-25] minisat+ 1.0-1 MIGRATED to testing (Britney)
- [2011-05-25] Accepted 1.0-2 in unstable (low) (Ralf Treinen)
- [2011-05-14] Accepted 1.0-1 in unstable (low) (Ralf Treinen)
links
- homepage
- changelog / copyright
- buildd: logs, checks, clang
- tests (log)
- lintian (0, 5)
- popcon
- debtags
- screenshots
-
RDF meta-data
- browse source code