Nathan, Marco, thanks for your explanations. I just saw that this package is now only available via debports. I don't think this was the case, when I filed the bug, so I didn't really notice, that this package was removed.
Thanks, Simon -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

