oasis2opam 0.4.4
Merge pull request #1854 from Chris00/master

oasis2opam 0.4.4