Lintian ReportsBETA

Hints

boolector 1.5.118.6b56be4.121013-1 (main) [Tracker] [Homepage]

Source versions

The run started on 6/22/2021, 1:06:32 AM and took 4 seconds. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.260 are below.