Lintian ReportsBETA

Hints

agda 2.6.1-1 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 5/20/2021, 5:31:47 AM and took 1.1 minutes. Your hints from Lintian version 2.104.244 are below.