Hi, I have prepared and committed to SVN uploads for experimental (with OCaml 3.11) of hevea and lablgtk2. These are build-dependencies of coq, and will be needed for the upcoming Coq 8.2, and the packaging of ssreflect. The .dsc are available there: http://glondu.net/tmp/hevea_1.10-6.dsc http://glondu.net/tmp/lablgtk2_2.10.1-3.dsc Everything is signed with my PGP key. Cheers, -- Stéphane