Dear Debian community, this is my declaration of intent to become a Debian Maintainer <URL:http://wiki.debian.org/DebianMaintainer>. I have read the Social Contract, Debian Free Software Guidelines and Debian Machine Usage Policy and agree with all of them.
Currently, I maintain the packages hol-light, otags, prooftree and proofgeneral. I co-maintain several OCaml packages, among them oasis and ounit. My GnuPG key EDCAEE68 is signed by the Debian Developers Stéphane Glondu, Lucas Nussbaum and Daniel Leidert. I look forward to becoming a Debian Maintainer. Thanks for your attention. Bye, Hendrik Tews
pgpCe4XW6v4Jg.pgp
Description: PGP signature
