oasis2opam 0.3.5
lbfgs 0.8.5
benchmark 1.3
Merge pull request #1108 from Chris00/master

oasis2opam 0.3.5