Bump std++.

2 jobs for master in 22 minutes and 21 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #80751
fp
build-stdpp.dev-coq.8.11.2

00:11:30

passed #80752
fp
build-stdpp.dev-coq.dev

00:22:20