Hi,
I'm listed as a maintainer for the following packages:
alt-ergo
coq
emacs-common-proofgeneral
gappa
ocaml-lablgtk
ocaml-mlgmpidl
ocaml-ocamlgraph
stp
I haven't done any packaging work in a while, and I'd like to orphan
my packages/relinquish my maintainership of all my packages. Jerry
James (loganjerry(a)gmail.com) has expressed interest in taking over
these packages; for cases where he is currently a comaintainer, he has
been the one doing the real maintenance for years at this point.
Thanks,
- Alan