Lintian Reports

Fabian Wolff

At the time of the last Lintian run, the following possible problems were found in packages maintained by Fabian Wolff <fabi.wolff@arcor.de>, listed by source package. See also the report showing only errors and warnings. Also see their QA overview.

cvc4 (1.6-2) [Uploader] §

cvc4 (1.6-2+b2; main)

libcvc4-5 (1.6-2+b2; main)

libcvc4parser5 (1.6-2+b2; main)

fox1.6 (1.6.57-1) §

libfox-1.6-0

libfox-1.6-dev

libtcod (1.14.0+dfsg-1) §

libtcod1

python-picklable-itertools (0.1.1-3) [Uploader] §

squirrel3 (3.1-8) §

libsquirrel3-0

z3 (4.8.6-2) [Uploader] §