Lintian ReportsBETA

Hints

acl2 8.3dfsg-2 (main) [Tracker]

Source versions

The run started on 9/2/2021, 8:25:04 PM and took 19.3 minutes. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.325 are below.