Lintian ReportsBETA

Hints

prover9-manual 0.0.200902a-2.1 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 9/5/2021, 3:34:25 AM and took 7 seconds. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.327 are below.