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 full report, including info, experimental and overridden tags. Also see their QA overview.

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

boogie

libboogie-cil

dafny (1.9.7-1) §

dafny