Lintian Reports_BETA

People
Tags
Screens
Packages
Autoreject
Messages
JSON
Manual
Levels

Source versions

1.5.118.6b56be4.121013-1.1 (bookworm, sid)
1.5.118.6b56be4.121013-1 (bullseye)

Hints

boolector 1.5.118.6b56be4.121013-1 (main) [Tracker] [Homepage]

Found no runs for version 1.5.118.6b56be4.121013-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.