Lemma prefix_lookup.

11 jobs for master in 17 minutes and 32 seconds
Status Job ID Name Coverage
  Build
passed #20080
fp
build-coq.8.7.0

00:02:19

passed #20076
fp
build-coq.8.7.1

00:02:22

failed #20079
fp-timing
build-coq.8.7.2

00:00:50

passed #20078
fp-timing
build-coq.8.8.0

00:02:20

passed #20073
fp
build-coq.8.8.1

00:02:18

passed #20072
fp
build-coq.8.8.2

00:09:03

passed #20071
fp
build-coq.8.9.dev

00:09:27

passed #20070
fp
build-coq.dev

00:14:18

failed #20077
fp
build-coq.8.7.0

00:00:47

failed #20075
fp-timing
build-coq.8.7.2

00:00:47

failed #20074
fp-timing
build-coq.8.8.0

00:01:01

 
Name Stage Failure
failed
build-coq.8.7.2 Build
The following dependencies couldn't be met:
- ocaml -> ocaml-config -> ocaml-variants
conflict with the base packages of this switch
- ocaml -> ocaml-config -> ocaml-system
unmet availability conditions, e.g. sys-ocaml-version = "4.07.1"
- ocaml -> ocaml-config -> ocaml-base-compiler
conflict with the base packages of this switch

ERROR: Job failed: exit code 1