>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:
Robert> FYI --
It appears to be back now. However, the server name has changed. The
old CVS service was at cvs.sourceforge.net. Now you have to use
maxima.cvs.sourceforge.net. Use this for anonymous CVS access too.
Ray