I don't have my old checkout any more, but wouldn't we use, e.g.,
  svn+ssh://[email protected]/gnueval
to access?
(As shown on https://savannah.gnu.org/svn/?group=gnueval)

Sorry if that's what you're already saying ...

Reply via email to