First opam package in preparation of the dose 3.2 release
Merge pull request #1991 from rdicosmo/update-dose

First opam package in preparation of the dose 3.2 release