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 -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20900.22357.781778.916...@blau.inf.tu-dresden.de
