oasis2opam 0.2.7