On Wed, Dec 29, 1999 at 09:46:14AM +0100, Jordi Mallach wrote: > Oh. The author just knew about this 2 or 3 days ago, and he is still > pondering about the name change. Should there be any problem for an initial > tip package release, and after change the name? Yes, it's a lot more work for the archive maintainers. Richard Braakman