Lintian Reports_BETA

People
Tags
Screens
Packages
Autoreject
Messages
JSON
Manual
Levels

Source versions

8.15.0+dfsg-1 (sid)
8.14.1+dfsg-1 (bookworm)
8.12.0-3 (bullseye)

Hints

coq 8.14.1+dfsg-1 (main) [Tracker] [Homepage] [Vcs-Browser]

Found no runs for version 8.14.1+dfsg-1.

Comments about these web pages? Please open a new issue in the Detagtive repository. For questions about tag performance, please file a bug with the Lintian package.