Lintian ReportsBETA

Hints

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

Source versions

The run started on 5/21/2021, 7:01:49 AM and took 18 seconds. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.244 are below.