FAIL (error in dependency "zarith.1.2" (unknown)) opam => [build tptp.0.2.0 OCamlPro/opam-repository:master with 4.01.0 on Linux (armv6l)]

/github/OCamlPro/opam-repository/task/18463