Fix config of dune dependencies
1 related merge request: !49 Resolve "Finish installation and usage instruction on the documentation"
branch
4 jobs
5 minutes 35 seconds, queued for 2 seconds