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 (7.2dfsg-3)

acl2

acl2-books

acl2-books-certs

acl2-books-source

acl2-doc

acl2-emacs

acl2-infix

acl2-infix-source

acl2-source

axiom (20140801-12)

axiom

axiom-databases

axiom-doc

axiom-graphics

axiom-graphics-data

axiom-hypertex

axiom-hypertex-data

axiom-source

axiom-test

axiom-tex

cxref (1.6e-2)

cxref

cxref-doc

cxref-emacs

gcl (2.6.12-47)

gcl

gcl-doc

hol88 (2.02.19940316-32)

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.38.1-8)

maxima

maxima-doc

maxima-emacs

maxima-share

maxima-src

maxima-test

xmaxima

netpipe (3.7.2-7.4)

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

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

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

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

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

pcal (4.11.0-3)

pcal

xmpi (2.2.3b8-13.2)

libxmpi4

libxmpi4-dev

xmpi