Answer yes to stdpp installation

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

00:03:04

passed coq:8.8 #101595
au

00:02:49

passed coq:8.9 #101596
au

00:02:49

passed coq:dev #101598
au

00:02:40