Lintian Reports

Debian Science Maintainers

At the time of the last Lintian run, the following possible problems were found in packages maintained by Debian Science Maintainers <>, listed by source package. See also the report showing only errors and warnings. Also see their QA overview.

cvc4 (1.6-2) §

cvc4 (1.6-2+b2; main)

libcvc4-5 (1.6-2+b2; main)

libcvc4parser5 (1.6-2+b2; main)