Package: lintian Version: 2.111.0 X-Debbugs-CC: debian-ocaml-ma...@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