update Makefile

2 jobs for master in 11 minutes and 19 seconds
Status Job ID Name Coverage
  Build
passed #11456
fp
build-coq.8.6.1

00:05:59

passed #11455
fp-timing
build-coq.8.7.2

00:11:17