oasis2opam 0.3.4