Mike Furr wrote: > 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?
Err, nevermind. I forgot he only supplied meta packages for the deps (been a few months since I last looked at it). -m -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]