Lintian ReportsBETA

Hints

coq-float 1:8.10.0-1 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 4/20/2021, 11:12:55 PM and took 5 seconds. Your hints from Lintian version 2.104.229 are below.