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