Lemma prefix_lookup.

11 jobs for master in 17 minutes and 32 seconds
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