update dependencies

4 jobs for master in 21 minutes and 12 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #70151
fp

00:12:42

passed build-coq.8.11.1 #70150
fp-timing

00:08:01

passed build-coq.8.11.dev #70149
fp

00:18:00

passed build-coq.8.9.1 #70152
fp

00:12:06