rql #8895 [unstable] change libgecode dependency [resolved]
# apt-cache show libgecode-dev Package: libgecode-dev Priority: optional Section: libdevel Installed-Size: 26936 Maintainer: Kari Pahula <kaol@debian.org> Architecture: amd64 Source: gecode Version: 3.0.2-1 Depends: libgecode16 (= 3.0.2-1) The previous version was libgecode12-dev but it is no more available in unstable. | |
priority | normal |
---|---|
type | bug |
done in | 0.22.0 |
load | 0.100 |
load left | 0.000 |
closed by | <not specified> |