-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Le 23/10/2013 21:59, Hendrik Tews a écrit : > 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.
Hendrik is skilful and has been very helpful in the Debian OCaml Team. I support his application. Cheers, - -- Stéphane -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iQIcBAEBCgAGBQJSa+wmAAoJEHhT2k1JiBrT5hYP/iX4pfg4JZL1zvb8QlfxxAhu JQxHm7DcMcEmf3gfDv7IG1tkMfz3tNgn55uKFEQ5hjGxjx94KwpFoFl6lCbwemkk s6Vw869MYvGQssAL6MtQDQpqnFAp6ULnN01Z51w45Wkn9FVDJQbpQWFTFmHVfIdW QwE/W1qiBY5hvXnqvFMHu2XGzxKMknmjlIh5UQxxfJ+OKsS84YT9QBFpF0rdbx0p laTFgr712sA3k5o/7mkta5ysQAKoaWyRJxlgFb9Mk6Xki3fTapjJyv6/zjPTFYx+ jIg+3Ll4+93KOm1V8JPmfR6BdPAfySYC117HtWd1Z/RZv7oKpHbCU3smuoUBP2Lx stAP8UHLAhZ1Za7MyEzwbGp3/dyjuuXdH/yn9M6SXe5etzI1WPvxTbp/BYwSazgJ sbnDfLVt/M/AGZFNmU9GcbCDf+jLUmz6IRRZ/UZuQpFpx9bEEZUCo68rHpPj/kig skABohjbux6HCDoPD2Ve3eyyGj6t0tZBLvpbyOyNtFYESVrhSMuVBhI8MSQdgSd6 Ix5QwlwF2TYhdZ2Cfj/gvEFJFt6sIAOXUzpZPgfF1838aelk9XxeYWFYeOAskcRX K7nl+liM4bqN50fecKoGaKpUA4ekWVshDf/GuwzwPcoqFvHft2q4iLNgLrRNJ092 NNKcKlYucDEVTpuEK4vR =7vwR -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
