Information on source package minisat2

Available versions

ReleaseVersion
bullseye1:2.2.1-5
bookworm1:2.2.1-5
trixie1:2.2.1-8
forky1:2.2.1-8
sid1:2.2.1-8

Open issues

BugbullseyebookwormtrixieforkysidDescription
CVE-2026-2644vulnerablevulnerablevulnerablevulnerablevulnerableA weakness has been identified in niklasso minisat up to 2.2.0. This i ...

Search for package or bug name: Reporting problems