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 (8.0dfsg-1) §

acl2

acl2-doc

acl2-emacs

axiom (20170501-3) §

axiom

axiom-dbgsym

axiom-doc

cxref (1.6e-3) §

cxref-emacs

hol88 (2.02.19940316-35) §

hol88

lam (7.1.4-3.1) §

lam-mpidoc

lam-runtime

lam4-dev

liblam4

maxima (5.41.0-3) §

xmaxima

netpipe (3.7.2-7.4) §

netpipe-lam (3.7.2-7.4+b4; main)

netpipe-mpich2 (3.7.2-7.4+b4; main)

netpipe-openmpi (3.7.2-7.4+b4; main)

netpipe-pvm (3.7.2-7.4+b4; main)

netpipe-tcp (3.7.2-7.4+b4; main)

pcal (4.11.0-3) §

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

xmpi (2.2.3b8-13.2) §

libxmpi4

libxmpi4-dev

xmpi