Bump coq-stdpp.

2 jobs for master in 6 minutes and 32 seconds