On Mon, Oct 29, 2007 at 06:08:47PM +0100, Enrico Tassi wrote:
> 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.
Erm, right, but thos
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 :-)
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-
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 a
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?
Cheers,
-Mike
[1] - deb http://people.debian.org/~zack unstable helm
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject o
Package: wnpp
Severity: wishlist
X-Debbugs-CC: [EMAIL PROTECTED]
--- Please fill out the fields below. ---
Package name: matita
Version: 0.4.0
Upstream Author: helm team
URL: http://matita.cs.unibo.it
License: GPL
Description:
Matita is a graphical interactiv
6 matches
Mail list logo
