oasis2opam 0.4.0 for oasis 0.4.2