Lintian Reports

Camm Maguire

At the time of the last Lintian run, the following possible problems were found in packages maintained by Camm Maguire <camm@debian.org>, listed by source package. See also the full report, including info, experimental and overridden tags. Also see their QA overview.

acl2 (7.4dfsg-3)

acl2

axiom (20170401-1)

axiom-dbgsym

axiom-doc

axiom-graphics-dbgsym

axiom-hypertex-dbgsym

axiom-source

cxref (1.6e-2)

gcl (2.6.12-53)

gcl

hol88 (2.02.19940316-33)

hol88

lam (7.1.4-3.1)

lam-mpidoc

lam-runtime

lam4-dev

liblam4

maxima (5.40.0-1)

maxima

netpipe (3.7.2-7.4)

pcal (4.11.0-3)

pcal-dbgsym (4.11.0-3+b1; main)

xmpi (2.2.3b8-13.2)

libxmpi4