:pserver:anonymous@coda.cs.cmu.edu:/coda-src
