PASS opam => [build tstp-proof-checker.0.1 OCamlPro/opam-repository:master with 4.01.0 on Linux (ppc64)]

/github/OCamlPro/opam-repository/task/12778