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 report showing only errors and warnings. Also see their QA overview.

acl2 (8.1dfsg-3) §

acl2 (8.1dfsg-3+b1; main)

acl2-books (8.1dfsg-3+b1; main)

acl2-books-certs

acl2-books-source

acl2-doc

acl2-emacs

acl2-infix (8.1dfsg-3+b1; main)

acl2-infix-source

acl2-source

axiom (20170501-4) §

axiom (20170501-4+b1; main)

axiom-dbgsym

axiom-doc

axiom-graphics (20170501-4+b1; main)

axiom-graphics-data

axiom-hypertex (20170501-4+b1; main)

axiom-hypertex-data

axiom-source

cxref (1.6e-3) §

cxref

cxref-doc

cxref-emacs

gcl (2.6.12-87) §

gcl (2.6.12-87+b1; main)

gcl-doc

hol88 (2.02.19940316-35) §

hol88 (2.02.19940316-35+b1; main)

hol88-contrib-help

hol88-contrib-source

hol88-doc

hol88-help

hol88-library (2.02.19940316-35+b1; main)

hol88-library-help

hol88-library-source

hol88-source

lam (7.1.4-6) §

lam-mpidoc

lam-runtime (7.1.4-6+b1; main)

lam-runtime-dbgsym

lam4-dev (7.1.4-6+b1; main)

lam4-dev-dbgsym

liblam4 (7.1.4-6+b1; main)

liblam4-dbgsym

maxima (5.42.1-1) §

maxima (5.42.1-1+b1; main)

maxima-doc

maxima-emacs

maxima-share

maxima-test

xmaxima (5.42.1-1+b1; main)

netpipe (3.7.2-8) §

netpipe-lam

netpipe-mpich2

netpipe-openmpi

netpipe-pvm

netpipe-tcp

pcal (4.11.0-3) §

pcal (4.11.0-3+b1; main)

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

xmpi (2.2.3b8-14) §

libxmpi4

xmpi