boolector 188.8.131.52b56be4.121013-1.1 (main)
The run started on 1/20/2022, 7:15:58 AM
and took 3.6 seconds.
The installation packages came from the
distribution for the
Your hints from Lintian version
are below. We use semantic versions.
The patch number is a commit step indicator relative to the
release tag in our Git
You can find the Lintian sources used for this run at commit
We used the following command-line options:
--dont-check-part cruft --display-info --display-experimental --pedantic --display-level +classification --show-overrides --exp-output format=json
The exit status was 0.