better opam synopsis

4 jobs for master in 17 minutes and 51 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #79903
fp
build-coq.8.10.2

00:09:50

passed #79902
fp-timing
build-coq.8.11.2

00:07:23

passed #79901
fp
build-coq.8.12.dev

00:17:49

passed #79904
fp
build-coq.8.9.1

00:09:30