ACKed. -- Please sync matita 0.5.2-1 from Debian(Unstable) https://bugs.launchpad.net/bugs/244921 You received this bug notification because you are a member of Ubuntu Sponsors for universe, which is a direct subscriber.