oasis2opam 0.2.3
Merge branch 'master' of git://github.com/OCamlPro/opam-repository
Merge pull request #612 from Chris00/master

oasis2opam 0.2.3