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

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

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?

Moreover, since matita is written mostly in OCaml, it could be a good 
idea to have this package on the pkg-ocaml-maint svn (see [1]).

Cheers,

Samuel.

[1] http://pkg-ocaml-maint.alioth.debian.org/