Hi,Just to let you know, a Logical insider told me that we could expect a version of coq which would build with ocaml 3.10 in September. They are apparently facing big difficulties to port coq. Maybe should we wait until then to upload 3.10 in unstable?
Cheers, Samuel.