Is there a GPL substitute for RealPlayer? What is its name? What debian package name? -- Paul E Condon pecondon@quiknet.com