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 <debian-science-maintainers@alioth-lists.debian.net>, 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+b1; main)

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

libcvc4parser5 (1.6-2+b1; main)