Re: Bug#448156: ITP: matita -- interactive theorem prover
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, 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