Hello, have many thanks for your interesting report and bug hunting. When you have the opportunity, please also try with a) another project, SETI came to mind because of its closeness to the developers b) the latest version of the package, i.e. 6.12.33
As annoying as the problem may be for you - the bug is not grave. This would remove the package over short or long from testing, which I don't want to happen.
Regards, Steffen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
