superbobry/pareto — pull request #36 by rgrinberg (2014-12-08 20:59:18+00:00)
Title: local opam + missing oasis

* tested local pinning and it works
* forgot to add those oasis files