1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
This package (gecode-snapshot) exists since Gecode has last had a
release in 2019 and the FlatZinc implementation included in it is no
longer able to function properly with current MiniZinc versions.
Just updating the original Gecode package to a git snapshot would be
problematic since Gecode also comes as a C++ library and using an
unreleased version would potentially cause trouble with SONAMEs and
ABIs down the road.
If and when Gecode gets new releases again this package will be
removed. The bookkeeping needed for this should be handled by package
relations with no user action needed.
-- Kari Pahula <kaol@debian.org>, Fri, 5 Jul 2024 10:37:27 +0300
|
