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) §

urweb (20170720+dfsg-2) §

liburweb-cgi0

liburweb-fastcgi0

liburweb-http0

liburweb-static0

liburweb0

urweb

urweb-doc

urweb-mode