Re: Bug#448156: ITP: matita -- interactive theorem prover

[Enrico Tassi <gareuselesinge@debian.org>]

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