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.0dfsg-1) §

acl2

acl2-books

acl2-books-certs

acl2-books-source

acl2-doc

acl2-emacs

acl2-infix

acl2-infix-source

acl2-source

axiom (20170501-3) §

axiom

axiom-dbgsym

axiom-doc

axiom-graphics

axiom-graphics-data

axiom-hypertex

axiom-hypertex-data

axiom-source

cxref (1.6e-3) §

cxref

cxref-doc

cxref-emacs

gcl (2.6.12-77) §

gcl

gcl-doc

hol88 (2.02.19940316-35) §

hol88

hol88-contrib-help

hol88-contrib-source

hol88-doc

hol88-help

hol88-library

hol88-library-help

hol88-library-source

hol88-source

lam (7.1.4-3.1) §

lam-mpidoc

lam-runtime

lam4-dev

liblam4

maxima (5.41.0-3) §

maxima

maxima-doc

maxima-emacs

maxima-share

maxima-test

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 (4.11.0-3+b1; main)

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

xmpi (2.2.3b8-13.2) §

libxmpi4

libxmpi4-dev

xmpi