Lintian Reports

Sjoerd Cranen

At the time of the last Lintian run, the following possible problems were found in packages maintained by Sjoerd Cranen <scranen@win.tue.nl>, listed by source package. See also the full report, including info, experimental and overridden tags. Also see their QA overview.

mcrl2 (201409.0-1) §

mcrl2 (201409.0-1+b2; main)

mcrl2-dbgsym (201409.0-1+b2; main)