oasis2opam 0.2.5
Merge pull request #627 from Chris00/master

 oasis2opam 0.2.5