Lintian ReportsBETA

Hints

acl2 8.3dfsg-2 (main) [Tracker]

Source versions

The run started on 4/20/2021, 8:51:27 PM and took 18.7 minutes. Your hints from Lintian version 2.104.229 are below.