Lintian ReportsBETA

Hints

acl2 8.3dfsg-2 (main) [Tracker]

Source versions

The run started on 7/30/2021, 2:40:15 AM and took 16.3 minutes. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.319 are below.