Hi, the DOM git repository contains the first version of the prooftree package, see http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git Comments are welcome. I would of course be happy if I could find a sponsor for prooftree. Bye, Hendrik