opium.0.12.0 - via opam-publish
Merge pull request #3287 from rgrinberg/opam-publish/opium.0.12.0

opium.0.12.0 - via opam-publish
stringext.1.2.0 - via opam-publish