On Sun, Sep 06, 2015 at 10:40:30AM +0100, Simon McVittie wrote: > I have done this as a "sponsored upload" to keep the transition moving.
I just did a a test build with the current unstable and was about to write about it here. Here's quick steps to test that the library works correctly. mkdir -p /tmp/gecode cd /tmp/gecode cp -r /usr/share/doc/libgecode-doc/examples . cd examples make ./all-interval I got a segfault with that. Running with gdb placed it in libQtGui.so.4: Program received signal SIGSEGV, Segmentation fault. 0x00007ffff37c7144 in ?? () from /usr/lib/x86_64-linux-gnu/libQtGui.so.4 Can you please verify that your build doesn't do the same?