[michrassena]

Thanks, that explains things a bit better. It sounds like it's better to not use the universe repository at all in that case. I don't suppose I can just switch over to Debian for those packages, can I?