oasis2opam 0.2.4
Merge pull request #619 from Chris00/master

oasis2opam 0.2.4