minizinc - Debian Package Tracker

general

source: minizinc (main)
version: 2.9.7+dfsg1-1
maintainer: Kari Pahula (DMD)
arch: any
std-ver: 4.7.3
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 2.5.3+dfsg1-1
oldstable: 2.6.4+dfsg1-1
stable: 2.9.2+dfsg1-1
testing: 2.9.7+dfsg1-1
unstable: 2.9.7+dfsg1-1

versioned links

2.5.3+dfsg1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.6.4+dfsg1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.9.2+dfsg1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.9.7+dfsg1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

minizinc

action needed

Marked for autoremoval on 20 June due to gecode-snapshot: #1135918 high

Version 2.9.7+dfsg1-1 of minizinc is marked for autoremoval from testing on Sat 20 Jun 2026. It depends (transitively) on gecode-snapshot, affected by #1135918. You should try to prevent the removal by fixing these RC bugs.

Created: 2026-05-15 Last update: 2026-05-21 05:49

2 new commits since last upload, is it time to release? normal

vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:

commit 9378e63455fd8dd2c45b5f43ecf33e2ffc1bdfd6
Author: Kari Pahula <kaol@debian.org>
Date:   Mon May 11 06:34:17 2026 +0300

    Debian version 2.9.7+dfsg1-1

commit 9fe285d7da16e1589802b4c2157d0ebc77e1da44
Author: Kari Pahula <kaol@debian.org>
Date:   Mon Feb 23 22:14:44 2026 +0200

    Debian version 2.9.5+fdsg1-1

Created: 2026-02-23 Last update: 2026-05-19 09:00

lintian reports 7 warnings normal

Lintian reports 7 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2026-02-24 Last update: 2026-02-24 08:30

debian/patches: 2 patches to forward upstream low

Among the 2 debian patches available in version 2.9.7+dfsg1-1 of the package, we noticed the following issues:

2 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2024-01-02 Last update: 2026-05-11 16:00

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.4 instead of 4.7.3).

Created: 2026-03-31 Last update: 2026-05-11 13:33

news

[rss feed]

[2026-05-16] minizinc 2.9.7+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2026-05-11] Accepted minizinc 2.9.7+dfsg1-1 (source) into unstable (Kari Pahula)
[2026-03-01] minizinc 2.9.5+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2026-02-23] Accepted minizinc 2.9.5+dfsg1-1 (source) into unstable (Kari Pahula)
[2025-08-17] minizinc 2.9.3+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2025-08-11] Accepted minizinc 2.9.3+dfsg1-1 (source) into unstable (Kari Pahula)
[2025-03-12] minizinc 2.9.2+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2025-03-06] Accepted minizinc 2.9.2+dfsg1-1 (source) into unstable (Kari Pahula)
[2025-02-20] minizinc 2.9.0+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2025-02-15] Accepted minizinc 2.9.0+dfsg1-1 (source) into unstable (Kari Pahula)
[2024-10-14] minizinc 2.8.7+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2024-10-09] Accepted minizinc 2.8.7+dfsg1-1 (source) into unstable (Kari Pahula)
[2024-10-03] minizinc 2.8.6+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2024-09-27] Accepted minizinc 2.8.6+dfsg1-1 (source) into unstable (Kari Pahula)
[2024-09-01] minizinc 2.8.5+dfsg1-2 MIGRATED to testing (Debian testing watch)
[2024-08-27] Accepted minizinc 2.8.5+dfsg1-2 (source) into unstable (Kari Pahula)
[2024-08-27] Accepted minizinc 2.8.5+dfsg1-1 (source) into unstable (Kari Pahula)
[2024-08-25] minizinc REMOVED from testing (Debian testing watch)
[2024-05-02] minizinc 2.8.3+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2024-03-29] Accepted minizinc 2.8.3+dfsg1-1 (source) into unstable (Kari Pahula)
[2024-01-07] minizinc 2.8.2+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2024-01-01] Accepted minizinc 2.8.2+dfsg1-1 (source) into unstable (Kari Pahula)
[2022-07-28] minizinc 2.6.4+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2022-07-23] Accepted minizinc 2.6.4+dfsg1-1 (source) into unstable (Kari Pahula)
[2022-06-04] minizinc 2.6.3+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2022-05-29] Accepted minizinc 2.6.3+dfsg1-1 (source) into unstable (Kari Pahula)
[2020-12-15] minizinc 2.5.3+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2020-12-09] Accepted minizinc 2.5.3+dfsg1-1 (source) into unstable (Kari Pahula)
[2020-11-21] minizinc 2.5.2+dfsg1-1 MIGRATED to testing (Debian testing watch)
[2020-11-15] Accepted minizinc 2.5.2+dfsg1-1 (source) into unstable (Kari Pahula)

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 7)
buildd: logs, reproducibility, cross
popcon
browse source code
other distros
security tracker
debian patches

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.9.3+dfsg1-1
1 bug