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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]