| Release | Version |
|---|---|
| bullseye | 1.5.118.6b56be4.121013-1 |
| bookworm | 1.5.118.6b56be4.121013-1.3 |
| trixie | 1.5.118.6b56be4.121013-1.3 |
| forky | 1.5.118.6b56be4.121013-1.3 |
| sid | 1.5.118.6b56be4.121013-1.3 |
| Bug | Description |
|---|---|
| CVE-2019-7560 | In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted i ... |