cvc4 1.8-2 (main)
- 1.8-2 (bookworm, bullseye, sid)
The run started on 9/3/2021, 5:06:08 AM and took 1.2 minutes. The installation packages came from the sid distribution for the amd64 port.
Your hints from Lintian version 2.104.325 are below.
- cvc4_1.8-2.dsc (main)
- libcvc4-7_1.8-2_amd64.deb (main)
- libcvc4parser7_1.8-2_amd64.deb (main)
- I no-symbols-control-file usr/lib/x86_64-linux-gnu/libcvc4parser.so.7