Hi
Sad 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.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
