Plasma GitLab Archive
Projects Blog Knowledge


Contact the publisher of this web site:

Informatikbüro Gerd Stolpmann
Frankfurter Str. 26
64293 Darmstadt

Phone: +49-6151-153855
OpenPGP key

Need an O'Caml consultant? Gerd Stolpmann offers general help on using O'Caml in various contexts. He has worked for several companies in this context since 2005. Please write to for project suggestions. Read more!

Privacy Statement

(Für eine deutschsprachige Version bitte hier klicken.)

The business of Gerd Stolpmann stores personal data which are collected on the web sites and (including sub domains). This declaration documents the details, the legal grounds, and the rights of the users.

Business owner in charge: Gerd Stolpmann, Bad Nauheimer Str. 3, 64289 Darmstadt, Germany,

Log files

The mentioned web sites store log files for the purpose of fixing malfunctions. These files contain the IP addresses of the users, the login names (if logged in), and data about the activity of the users. The files are usually kept for a period of no longer than 7 days, and are then automatically deleted or anonymized (i.e. the data part allowing to identify persons is removed so that the records can no longer be associated with real persons). For fixing a concrete technical problem single files can also be stored for a longer period, but not longer than required for developing a fix (legal grounds: article 6 (1) f GDPR).

Code repositories on

The site allows logged-in users to contribute to program code that is made publicly available. It is possible to comment program code, and to suggest (via the git protocol) changes (code patches). The activities of the users can be publicly tracked. By providing data it is assumed that the consent for the mentioned purpose is given until it is withdrawn (legal grounds: article 6 (1) a GDPR).

During a session a cookie is stored on the computer of the user that uniquely identifies the session (legal grounds: article 6 (1) f GDPR).

There is the possibility to log in via the OAuth protocol. In this case an external web site is contacted where the user already has an account, and which authenticates the user. On the same login is then used. By choosing this way of logging in, gets a notification from the external web site whether the login was successful and also the login name and the email address. On ground of this data a separate account is created on which is linked to the account of the external web site, and the mentioned data are stored. Other data are not exchanged with the external web site. It is assumed that by clicking one of the OAuth buttons the permission for the mentioned purpose is granted by the user until withdrawn (legal grounds: article 6 (1) a GDPR). The forementioned web sites are located in the USA (there is a privacy agreement). Regarding the storage of personal data on the external web sites please see the privacy policies of these sites.

External data processing

The site is hosted by 1&1 Internet SE (Elgendorfer Str. 57, 56410 Montabaur, Germany). This company also processes the emails.

The site is hosted by Hetzner Online GmbH (Industriestr. 25, 91710 Gunzenhausen, Germany).

Rights of users

Users have a right on being informed which personal data are stored. In case data are incorrect there is a right for correction. Furthermore the erasure of all personal data can be demanded. Data can also be locked down on request. Users can complain at the authority governing the implementation of the GDPR.

The patches uploaded to can be downloaded via the git protocol and transferred to a different web site.

Right to object: Users have the right to object the processing of their personal data. It is sufficient to send an email to The lawfulness of the data processing before the objection is not affected by the objection.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml