Lintian Reports

Benjamin Barenblat

At the time of the last Lintian run, the following possible problems were found in packages maintained by Benjamin Barenblat <bbaren@mit.edu>, listed by source package. See also the report showing only errors and warnings. Also see their QA overview.

boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1)

boogie

libboogie-cil

dafny (1.9.7-1)

dafny

transmission-remote-gtk (1.3.1-2)

transmission-remote-gtk

transmission-remote-gtk-dbgsym

urweb (20170720+dfsg-2)

liburweb-cgi0

liburweb-cgi0-dbgsym

liburweb-fastcgi0

liburweb-fastcgi0-dbgsym

liburweb-http0

liburweb-http0-dbgsym

liburweb-static0

liburweb-static0-dbgsym

liburweb0

liburweb0-dbgsym

urweb

urweb-dbgsym

urweb-doc

urweb-mode