allow building against 'dev' version of Coq

5 jobs for master in 10 minutes and 2 seconds (queued for 1 minute and 5 seconds)
Status Job ID Name Coverage
  Build
passed #6035
fp-timing
build-coq.8.6.1

00:02:56

passed #6034
fp-timing
build-coq.8.7.0

00:02:46

passed #6033
fp-timing
build-coq.8.7.dev

00:06:39

 
  Deploy
passed #6036
opam

00:00:14

passed #6037
reverse-deps

00:00:13