Lintian ReportsBETA

Hints

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

Source versions

The run started on 5/20/2021, 10:21:23 PM and took 6 seconds. Your hints from Lintian version 2.104.244 are below.