I don't have my old checkout any more, but wouldn't we use, e.g.,
  svn+ssh://k...@svn.savannah.gnu.org/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