> Hopefully that is sufficient. OPAM is overall a bit fragile: some Coq > guys have told me that they regret depending on it. We'll have to see. The current situation is that I temporarily have no access to the build machines, so the build will have to stay red for a while, much to the disadvantage of people who rely on it.