cvc4 1.8-2 (main)
- 1.8-2 (bullseye, sid)
- 1.6-2 (buster)
The run started on 7/16/2021, 12:13:40 AM and took 30 seconds. The installation packages came from the sid distribution for the amd64 port.
Your hints from Lintian version 2.104.305 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