Answer yes to stdpp installation

4 jobs for master in 5 minutes and 53 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #101597
au
coq:8.10

00:03:04

passed #101595
au
coq:8.8

00:02:49

passed #101596
au
coq:8.9

00:02:49

passed #101598
au
coq:dev

00:02:40