Package: ftp.debian.org Severity: normal X-Debbugs-Cc: [email protected] Control: affects -1 + src:gecode User: [email protected] Usertags: remove
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.
