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
LowNMU
std-ver
3.9.3

versions ... ...pool

o-o-stable
save 1.5.118.6b56be4.121013-1
oldstable
save 1.5.118.6b56be4.121013-1
stable
save 1.5.118.6b56be4.121013-1.3
testing
save 1.5.118.6b56be4.121013-1.3
unstable
save 1.5.118.6b56be4.121013-1.3
Ubuntu
1.5.118.6b56be4.121013-1.3

binaries

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • Lintian reports 5 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.2 instead of 3.9.3).

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.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

news RSS

bugs

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

links

patches

Debian
1.5.118.6b56be4.121013-1 1.5.118.6b56be4.121013-1.3 1.5.118.6b56be4.121013-1.3 1.5.118.6b56be4.121013-1.3

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2023-11-27T02:41:51+00:00.