Lintian ReportsBETA

Hints

frama-c 20201209+titanium-4.1 (main) [Tracker] [Homepage] [Vcs-Browser]

Source versions

The run started on 7/16/2021, 2:42:06 AM and took 1.3 minutes. The installation packages came from the sid distribution for the amd64 port.

Your hints from Lintian version 2.104.305 are below.