owner 672480 ! thanks Repeating myself: The packaging effort is almost finished: A new up-to-date version is waiting in the OCaml maintainers git repo for review and sponsoring, see http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git and https://lists.debian.org/debian-ocaml-maint/2013/05/msg00194.html Bye, Hendrik