update dependencies

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

00:11:21

passed build-coq.8.11.1 #69084
fp-timing

00:08:32

passed build-coq.8.11.dev #69083
fp

00:16:36

passed build-coq.8.9.1 #69086
fp

00:10:49