HiSad news: coq will have to be rebuilt too be rebuilt too because it was depending on ocaml-base-nox-3.08 for non-native archs. I did this to be on the safe side but in fact ocamlrun does not seem to be needed: I checked some packages and the binaries are ELFs. It's quite strange though because I did not see the -custom option anywhere on the buildd logs. If someone has an explaination for that, I'd be glad to hear it...
Sam.