oasis2opam 0.4.0 for oasis 0.4.2
Merge pull request #1720 from Chris00/master

oasis2opam 0.4.0 for oasis 0.4.2