update opam file to express that we support 8.7

5 jobs for master in 12 minutes and 3 seconds (queued for 21 minutes and 24 seconds)
Status Name Job ID Coverage
  Test
passed stdpp-coq8.5.3 #3130
fp-timing

00:02:02

passed stdpp-coq8.6 #3129
fp-timing

00:01:40

passed stdpp-coq8.6.1 #3128
fp-timing

00:01:39

failed stdpp-coq8.7 #3135
fp-timing

00:06:41

failed stdpp-coq8.7 #3127
fp-timing

00:06:47

 
Name Stage Failure
failed
stdpp-coq8.7 Test There is an unknown failure, please try again
theories/coPset (real: 2.26, user: 2.09, sys: 0.15, mem: 483104 ko)
make[1]: Leaving directory '/builds/robbertkrebbers/coq-stdpp'

real 0m45.538s
user 1m6.237s
sys 0m5.920s
$ if fgrep Axiom build-log.txt >/dev/null; then exit 1; fi
$ cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time.txt
ERROR: Build failed: exit code 1