On Mon, Oct 29, 2007 at 12:35:51PM -0400, 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?
Yes, we share the same office here in Italy, so we chat a lot :-) I worked on the package, thus I did the ITP. Zack was providing some metapackages to have all dependencies installad with one single apt-get line; this stuff is not needed anymore. He should remove that stuff. All packages required by matita are already in unstable. I'm planning to put the package in the debian-ocaml-maint svn repository in the near future. Cheers. -- Enrico Tassi -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]