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] Archive: http://lists.debian.org/[email protected]

