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
signature.asc
Description: Digital signature
