boolector
SMT solver for bit-vectors and arrays

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/boolector

general

source
boolector (source, science)
version
1.5.118.6b56be4.121013-1.3
maint
Michael Tautschnig
std-ver
3.9.3

binaries

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • Lintian reports 6 warnings about this package. You should make the package lintian clean getting rid of them.
  • Build log checks report 1 warning about this package.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 3.9.3).
  • 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.1 and your package only follows 3.9.3...
  • There were override disparities found in suite unstable:
    • boolector: 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 debian/watch no matching files for watch line   http://fmv.jku.at/boolector/boolector-(.*)-(.*)-(.*)\.tar\.gz

autoremoval from testing

  • Version 1.5.118.6b56be4.121013-1 of boolector is marked for autoremoval from testing on 2021-12-27.
  • It is affected by RC bug #999261.
  • You should try to prevent the removal from testing by fixing these bugs.

bugs

all bug history graph
4
RC
1
I&N
2
M&W
1
F&P
0