Hi, After downgrading boinc-dev to 7.0.27+dfsg-3, seti no longer segfaults. So we should look into boinc now.
(boinc-dev was 7.0.28+dfsg-1, directly from git repo) Cheers, Guo Yixuan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
