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 <>, listed by source package. See also the report showing only errors and warnings. Also see their QA overview.

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

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


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