Lintian ReportsBETA

Hints

coq-doc 8.6-1 (non-free) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 9/3/2021, 3:35:45 AM and took 33 seconds. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.325 are below.