Lintian ReportsBETA

Wcoq/cmxs/prerequisites

Screen versions

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

The screen is present in Lintian version 2.113.26. 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.113.0 release tag in our Git repository.

You can find the masking logic for this version at commit 43a81d7. For merge requests, please use the latest version in the Lintian screen 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.

The screen masked 377 hints in 111 source packages.

We also found 38 overrides. They can be removed.