Get rid of some deprecated notations.

6 jobs for master in 13 minutes and 49 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #9477
fp
build-coq.8.6.0

00:06:28

passed #9476
fp
build-coq.8.6.1

00:02:47

passed #9475
fp
build-coq.8.7.0

00:02:46

passed #9474
fp
build-coq.8.7.1

00:02:46

passed #9473
fp-timing
build-coq.8.7.2

00:02:38

passed #9472
fp
build-coq.dev

00:13:49