Package: gecode Severity: serious The source package as exists in Debian generates a libgecode8 binary package that contains, as one would expect, a libgecode.so.8 library.
Yet the matching development binary package is named libgecode7-dev, while it contains a libgecode.so that links to libgecode.so.8 There's no mention of any specialness in the changelog, so I assume this is simply a case of forgetting to change the -dev package name? -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
