mention required opam version

6 jobs for master in 14 minutes and 43 seconds (queued for 28 minutes and 49 seconds)
Status Job ID Name Coverage
  Build
passed #6832
fp-timing
build-coq.8.6.1

00:02:58

passed #6831
fp-timing
build-coq.8.7.1

00:09:48

 
  Deploy
passed #6833
opam

00:00:13

passed #6834
reverse-deps

00:00:13

 
  Build More
passed #6836
fp-timing
build-coq.8.7.0

00:02:50

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

00:03:08