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 #22256
fp
build-coq.8.7.1

00:05:22

passed #22255
fp
build-coq.8.7.2

00:05:35

passed #22254
fp-timing
build-coq.8.8.0

00:05:04

passed #22253
fp
build-coq.8.8.1

00:05:27

passed #22252
fp
build-coq.8.8.2

00:05:12

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

00:05:50

passed #22250
fp
build-coq.dev

00:08:05