| Release | Version |
|---|---|
| stretch | 2.0.14+dfsg1-1 |
| buster | 2.1.7+dfsg1-1 |
| bullseye | 2.5.3+dfsg1-1 |
| bookworm | 2.6.4+dfsg1-1 |
| trixie | 2.8.3+dfsg1-1 |
| sid | 2.8.3+dfsg1-1 |
| Bug | stretch | buster | bullseye | bookworm | trixie | sid | Description |
|---|---|---|---|---|---|---|---|
| CVE-2023-46046 | vulnerable | vulnerable | vulnerable | vulnerable | fixed | fixed | An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference vi ... |