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