Lintian ReportsBETA

Hints

boogie 2.4.1+dfsg-0.1 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 4/20/2021, 9:56:57 PM and took 15 seconds. Your hints from Lintian version 2.104.229 are below.