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 at
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
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
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
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 those
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
6 matches
Mail list logo