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