← Back to PR #29058

Build Log: goblint-cil.2.0.7

Status: NO SOLUTION

Log Output

Why No Solution

Can't find all required versions. Selected: base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base ocaml-base-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml&goblint-cil ocaml-base-compiler ocaml-base-compiler system-mingw system-mingw|system-msvc&winpthreads ocaml base-domains ocaml-variants ocaml-base-compiler - goblint-cil -> (problem) User requested = 2.0.7 No usable implementations: goblint-cil.2.0.9: Rejected by user-specified constraint goblint-cil (= 2.0.7) goblint-cil.2.0.6: Rejected by user-specified constraint goblint-cil (= 2.0.7) goblint-cil.2.0.4: Rejected by user-specified constraint goblint-cil (= 2.0.7) goblint-cil.2.0.3: Rejected by user-specified constraint goblint-cil (= 2.0.7) goblint-cil.2.0.1: Rejected by user-specified constraint goblint-cil (= 2.0.7) ... - ocaml -> ocaml.5.4.0 User requested = 5.4.0 - ocaml-compiler -> ocaml-compiler.5.4.0 ocaml-base-compiler 5.4.0 requires = 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 ... - system-mingw -> (problem) No known implementations at all