Contact

Debian

I am a DebianMaintainer in the [https://nm.debian.org/nmstatus.php?email=steph%40glondu.net NM process]. I have been using Debian since 2005. I have been maintaining [http://qa.debian.org/developer.php?login=steph%40glondu.net a few packages] since 2007. I am mostly active in the [wiki:Teams/OCamlTaskForce OCaml Task Force].

Free Software

I take part in the development of the [http://ocsigen.org Ocsigen] web server and framework, and the [http://coq.inria.fr Coq] proof assistant.