Georges, et al, > Is it sufficient to change the name of the binary package (I can do it > easily) or must I change the name of the source package too, which would > require the help of some FTP master?
Yes, the name of the binary package is what matters. Merci beaucoup! Dan Urbana, Illinois
