[PD-dev] building PD-extended from CVS... CVS down?

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

I found this document: http://puredata.org/docs/developer/Debian wich explains how to build pd-extended from CVS

in particular, the CVS command(s) used to do this is:

cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/pure-data login

cvs -z3 -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/pure-data checkout -r v0-39-2 pd

but when I log in CVS, i get:

Logging in to :pserver:anonymous@cvs.sourceforge.net:2401/cvsroot/pure-data CVS password: cvs [login aborted]: connect to cvs.sourceforge.net(66.35.250.207):2401 failed: No route to host

am I having DNS problems? or sourceforge's CVS server is really down? or there is an alternate address?

thanks, - -- Federico