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 repositories are currently listed in the Matita
on-line manual. Better to let them live until we fix the manual ...

Cheers.

-- 
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
[EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48)  Zack: e la demo dema ?    /\    All one has to do is hit the
(15:57:15)  Bac: no, la demo scema    \/    right keys at the right time

Attachment: signature.asc
Description: Digital signature

Reply via email to