update dependencies; fix for std++ renames

2 jobs for master in 28 minutes and 4 seconds
Status Job ID Name Coverage
  Build
passed #59393
fp
build-coq.8.10.2

00:28:03

passed #59392
fp-timing
build-coq.8.11.0

00:18:08