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