ssreflect 1.6.4

2 jobs from master in 18 minutes 32 seconds (queued for 22 minutes 19 seconds)
Status Job ID Name Coverage
  Build
passed #5176
fp-timing
build-coq.8.6.1

16:17

passed #5175
fp-timing
build-coq.8.7.0

13:37