Lintian ReportsBETA

Hints

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

Source versions

The run started on 5/20/2021, 7:40:27 AM and took 22 seconds. Your hints from Lintian version 2.104.244 are below.