Lintian Reports

Kristoffer H Rose

At the time of the last Lintian run, the following possible problems were found in packages maintained by Kristoffer H Rose <krisrose@debian.org>, listed by source package. See also the full report, including info, experimental and overridden tags. Also see their QA overview.

haskell-smtlib (1.0.9-2) [Uploader] §

libghc-smtlib-dev (1.0.9-2+b2; main)

libghc-smtlib-doc

libghc-smtlib-prof (1.0.9-2+b2; main)