Lintian ReportsBETA

Hints

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

Source versions

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