Lintian ReportsBETA

coq/cmxs/prerequisites

The Coq project comes with a kind of compiler that generates files which are ELF shared objects. Unfortunately, they contain many undefined symbols, but those are expected.

There are a lot of false positives.

Please refer to Bug#999602 for details.

This screen masks the tag shared-library-lacks-prerequisites.

The screen is present in Lintian version 2.114.163. That is the most recent version we know about.

We use semantic versions. The patch number is a commit step indicator relative to the 2.114.0 release tag in our Git repository.

You can find the masking logic for this version at commit ea05801. For merge requests, please use the latest version in the Lintian screen coq/cmxs/prerequisites.

The screen masked 500 hints in 155 source packages.

There were no overrides.