Bump stdpp.

6 jobs for master in 16 minutes and 10 seconds (queued for 1 minute and 21 seconds)
Status Job ID Name Coverage
  Build
passed #36345
fp
build-coq.8.10.dev

00:12:02

passed #36349
fp
build-coq.8.7.2

00:06:19

passed #36348
fp
build-coq.8.8.2

00:07:14

passed #36347
fp-timing
build-coq.8.9.0

00:06:41

passed #36346
fp
build-coq.8.9.1

00:07:45

passed #36344
fp
build-coq.dev

00:13:17