PASSED opam => [build promela.0.4.2 OCamlPro/opam-repository:master with 4.01.0 on Darwin (x86_64)]

/github/OCamlPro/opam-repository/task/16021
PASSED opam => [build annot.1.0.0 OCamlPro/opam-repository:master with 4.01.0 on Linux (armv5tel)]

/github/OCamlPro/opam-repository/task/16015