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> |