Bug#999602: [false positive] shared-library-lacks-prerequisites

[Julien Puydt <julien.puydt@gmail.com>]

Package: lintian
Version: 2.111.0
X-Debbugs-CC: debian-ocaml-maint@lists.debian.org

The Coq project comes with a kind of compiler, and generates files that
are ELF shared objects ; as such they do get detected by lintian, and
it tries to analyse them just like normal C/C++ shared objects.

Unfortunately, they contain many undefined symbols, and it's expected,
so there are a lot of false positives.

Lintian should disable that hint for .cmxs files.

Cheers,

J.Puydt