[opam-devel] updating the ocaml ppa to 4.02.3

[Thomas Gazagnaire]

> 
> In order to properly fix this, I've started to merge the scripts we use in opam-repository and the ones in ocaml-travisci-skeleton. See https://github.com/ocaml/ocaml-travisci-skeleton/pull/61
> 
> Comments are welcome. 

The PR is now merged in ocaml-travisci-skeleton and https://github.com/ocaml/opam-repository/pull/4639 uses it and is all green (including the 4.02.3 runs which were failing before).

Any objection to merge this later today?

Thomas

> 
>> 
>> 
>>> On 10 Aug 2015, at 15:10, Anil Madhavapeddy <anil at recoil.org> wrote:
>>> 
>>> On 10 Aug 2015, at 14:16, Thomas Gazagnaire <thomas at gazagnaire.org> wrote:
>>>> 
>>>>>> 
>>>>>> 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?
>>> 
>>> 
>>> It's in all the individual repositories in:
>>> 
>>> https://launchpad.net/~avsm
>>> 
>>> The one we're specifically waiting for is:
>>> 
>>> https://launchpad.net/~avsm/+archive/ubuntu/ocaml42+opam12/+packages
>>> (where ARMhf camlp4 is pending publication, at which point we can kick off the OPAM build).
>>> 
>>> -anil
>> 
>