Build Log: coq-waterproof.2.1.0+8.17

Can't find all required versions. Selected: ocaml-base-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml&coq-waterproof ocaml-variants ocaml-base-compiler ocaml-base-compiler - coq-waterproof -> (problem) User requested = 2.1.0+8.17 No usable implementations: coq-waterproof.3.1.0+9.1: Rejected by user-specified constraint coq-waterproof (= 2.1.0+8.17) coq-waterproof.3.1.0+9.0: Rejected by user-specified constraint coq-waterproof (= 2.1.0+8.17) coq-waterproof.3.0.0+8.20: Rejected by user-specified constraint coq-waterproof (= 2.1.0+8.17) - ocaml -> ocaml.4.14.2 User requested = 4.14.2 - ocaml-compiler -> (problem) ocaml-base-compiler 5.4.0 requires = 5.4.0 Rejected candidates: ocaml-compiler.5.5: Incompatible with restriction: = 5.4.0 ocaml-compiler.5.4.0: Requires ocaml = 5.4.0 ocaml-compiler.5.4.0~rc1: Incompatible with restriction: = 5.4.0 ocaml-compiler.5.4.0~beta2: Incompatible with restriction: = 5.4.0 ocaml-compiler.5.4.0~beta1: Incompatible with restriction: = 5.4.0 ... - ocaml-variants -> (problem) Rejected candidates: ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler ...