Enrico Tassi wrote: > Package name: matita Stefano already has some packages for this on his gluck page[1], have you talked to him about the status of those? Cheers, -Mike [1] - deb http://people.debian.org/~zack unstable helm