oasis2opam 0.2.5