Gerd's development server

This is Gerd Stolpmann's development server for some of the projects available at This means that I am starting to move repositories to this server, to allow anonymous access, and to give interested developers write permissions.

This system has low-end hardware (a VIA C3 CPU with 256MB memory), but it is fast enough for its purpose. The good thing for me is that this system makes only little noise and consumes only low power. And it was cheap.

The Internet connection is DSL with 80kbyte/s downstream and 16kbyte/s upstream. The internet address changes every 24 hours, i.e. there is a small downtime every night.


There are currently repositories for GODI, and a number of O'Caml software I developed. See for an index.

Mailing Lists?

For mailing lists, see Mailman.

Further project pages

Instructions to access the repositories

You can click at the /svn or /wwwsvn links to get immediate read access. The /svn URLs directly access the Subversion repositories, and should be used for checkouts. The /wwwsvn URLs point to the ViewCVS interface. Both types of URLs are browseable.

If you have a WebDAV client, you can also download the latest revision. For example, cadaver is such a tool that works like an advanced FTP client. Call it with an URL, like in


Of course, the best way to access the repositories is to use subversion. Just do on the command line

  svn checkout
to get a local copy of the contents. svn will ask whether to accept the server certificate. Simlpy answer to accept it permanently (the certificate is also available in godi-certs.pem.

Write access

First you need an account and a password (contact me). Second, you need the subversion client (SSL support must be compiled in). I am using 1.0.1, and (following the compatibility guidelines of subversion) every 1.0.x client is expected to work.

If you know CVS, you will be immediately familiar with svn. Many of the commands are the same (e.g. svn checkout, svn update, svn add, svn commit), and all your wishes have been fulfilled. There is a move command! Directories are versioned! (Note that this means that you have to commit directories!)

The above checkout command works also if you have write access. You will be asked for your password the first time you commit a file.

Read more in the Subversion Book.

Why subversion? Why not CVS?

CVS is aged, and it has many deficiencies. For example, you cannot move or rename files, the branch feature is very complicated, etc. Furthermore, CVS has only poor network support. To run it in a safe way, you must use it in conjunction with ssh, and this means that you must give all participants a system account. If the network connection breaks in the middle of a commit operation, this may damage your data.

Subversion seems to implement all features that are missing in CVS. The version control model is more complete, as you can check in directories. The network support is much better, as it uses the well-known WebDAV protocol. One can tunnel it easily through SSL, and it is only required to have a web server user account to get write access. Last but not least, there is a modern database behind it with transactions, so you are not lost in space if your disk gets full, or if some other unpredicted incident happens.