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.

prioritynormal
typebug
done in0.22.0
load0.100
load left0.000
closed by<not specified>