oasis2opam 0.3.5