oasis2opam 0.3.2
Merge pull request #1041 from Chris00/master

oasis2opam 0.3.2