update links

7 jobs for master in 18 minutes and 8 seconds (queued for 6 minutes and 54 seconds)
Status Job ID Name Coverage
  Build
passed build-coq.8.7.1 #22256
fp

00:05:22

passed build-coq.8.7.2 #22255
fp

00:05:35

passed build-coq.8.8.0 #22254
fp-timing

00:05:04

passed build-coq.8.8.1 #22253
fp

00:05:27

passed build-coq.8.8.2 #22252
fp

00:05:12

passed build-coq.8.9.dev #22251
fp-timing

00:05:50

passed build-coq.dev #22250
fp

00:08:05