Andreas Tille writes: this seems like a perfect target for Debian Science. Would you consider team maintenance. I definitely need a sponsor for the prooftree package. I would first try with the OCaml task force, because prooftree is written in OCaml and I have a few other packages that are sponsored there.
Bye, Hendrik -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

