Lintian ReportsBETA

Hints

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

Source versions

The run started on 7/15/2021, 11:54:04 PM and took 16 seconds. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.305 are below.