update the dependencies in dune.module file

5 jobs for master in 7 minutes and 59 seconds (queued for 8 seconds)