[opam-devel] updating the ocaml ppa to 4.02.3

[Thomas Gazagnaire]

>> 
>> I think you forgot to update camlp4 on the ppa, so the Travis CI scripts trying to compile 4.02 are broken:
>> 
>> https://travis-ci.org/mirage/ocaml-git/jobs/74897466
> 
> Not forgotten -- there's no way to do an atomic upgrade of the repositories, and so ocaml, camlp4 and then opam have to be rebuilt in sequence.  Since armhf takes around 2 hours to build, there's some downtime.  I'd been hoping that both versions would be published simultaneously, but apparently not.
> 
> OCaml has built, and camlp4 is building now, and OPAM will finish after that, so the OCaml 4.02.x/OPAM 1.2.x PPA should be operational again in a couple of hours.

ha ok, thanks for the update. Can you remind me where to look to know when these build will be done?