Lintian ReportsBETA

Hints

z3 4.8.10-1 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 4/21/2021, 6:25:59 PM and took 22 seconds. Your hints from Lintian version 2.104.229 are below.