PASSED opam => [build alt-ergo.0.95.1 OCamlPro/opam-repository:master with 4.01.0 on Linux (armv5tel)]

/github/OCamlPro/opam-repository/task/16150