[opam-devel] updating the ocaml ppa to 4.02.3

[Thomas Gazagnaire]

> So it seems that .travis.yml from ocaml-travisci-skeleton works fine now, but not the scripts in opam-repository:
> 
> https://travis-ci.org/ocaml/opam-repository/jobs/74967959

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. 

> 
> 
>> 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
>