#1148503 RM: gecode-snapshot -- ROM; The new gecode release replaces gecode-snapshot

Package:
ftp.debian.org
Source:
ftp.debian.org
Submitter:
Kari Pahula
Date:
2026-09-20 06:37:02 UTC
Severity:
normal
#1148503#5
Date:
2026-09-20 06:30:50 UTC
From:
To:
The gecode-snapshot package was a temporary fix to unblock newer
MiniZinc releases. Due to gecode shipping a shared library too, I left
the library part in gecode and packaged FlatZinc in gecode-snapshot.
The upstream has made a new Gecode release so gecode-snapshot can be
removed now.