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

acl2-books

acl2-books-certs

acl2-books-source

acl2-doc

acl2-emacs

acl2-infix

acl2-infix-source

acl2-source

axiom (20170501-4) §

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-87) §

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-6) §

lam-mpidoc

lam-runtime

lam-runtime-dbgsym

lam4-dev

lam4-dev-dbgsym

liblam4

liblam4-dbgsym

maxima (5.42.1-1) §

maxima

maxima-doc

maxima-emacs

maxima-share

maxima-test

xmaxima

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