Lintian ReportsBETA

Hints

metamath-databases 0.0.0~20210101.git55fe226-2 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

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