Hi, concerning updating packages for ocaml-3.07: hlins bibtex2html ocamlweb new packages are ready in alioth, I'll upload them tonight to unstable. mlglade ocamltools hevea I'll upload new packages before Sunday. coq (Judicaël Courant, sponsored by me) planets (Martin Pitt, sponsored by me) I contacted them and told them that they should upgrade their packages. Anyway, I guess I will see most of you tonight at the First Jeudi. -Ralf. --