Profiles › oxcaml-odoc-master › package: goblint › 2.8.0

goblint.2.8.0

Solver failure

✗ Solve failed — no dependency solution was found for this package version on Debian trixie, so it was never built. The solver's explanation:

Can't find all required versions.
Selected: angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 b0.0.0.6
          base-bigarray.base base-bytes.base base-domains.base base-nnp.base
          base-threads.base base-unix.base base64.3.5.2
          basement.v0.18~preview.130.106+341 batteries.3.11.0 bigstring.0.3
          bigstringaf.0.10.0 bos.0.3.0 brr.0.0.9 camlp-streams.5.0.1
          capsule0.v0.18~preview.130.106+341 catapult.0.2 catapult-file.0.2
          checkseum.0.5.4 cmarkit.0.4.0 cmdliner.2.1.1 conf-autoconf.1
          conf-gcc.1.0 conf-gmp.5 conf-perl.2 conf-pkg-config.5 conf-which.1
          cppo.1.8.0 cpu.2.0.0 crunch.4.1.0 csexp.1.5.2 cstruct.6.3.0
          ctypes.0.24.0+ox decompress.1.6.1 domain-local-await.1.0.1
          domain_shims.0.1.0 dune-build-info.3.21.1 dune-configurator.3.21.1
          dune-site.3.21.1 eio.1.6 eio_linux.1.6 eio_main.1.6 eio_posix.1.6
          fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 gen.1.1 goblint-cil.2.1.1
          hevea.2.38 hex.1.5.0 hmap.0.8.1 integers.0.8.0 iomux.0.4
          js_of_ocaml.6.4.1 js_of_ocaml-compiler.6.4.1
          js_of_ocaml-toplevel.6.4.1 json-data-encoding.1.0.1 jsonm.1.0.2
          jsonrpc.1.27.0 logs.0.10.0 lwt.6.1.2 lwt-dllist.1.1.0
          menhir.20260209 menhirCST.20260209 menhirGLR.20260209
          menhirLib.20260209 menhirSdk.20260209 mtime.2.2.0 num.1.6
          ocaml-compiler-libs.v0.17.0+ox ocaml-config.3
          ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0
          ocamlbuild.0.16.1+ox ocamlfind.1.9.8+ox ocamlgraph.2.2.0
          ocplib-endian.1.2 odig.0.1.0 odoc.3.2.1+master.1791558161.c213704
          odoc-driver.3.2.1+master.1791558161.c213704
          odoc-md.3.2.1+master.1791558161.c213704
          odoc-parser.3.2.1+master.1791558161.c213704 opam-core.2.6.1
          opam-file-format.2.2.0 opam-format.2.6.1 optint.0.3.0 oxcaml.latest
          oxcaml-patch-guards.ox parsexp.v0.18~preview.130.106+341
          patch.3.1.2 patricia-tree.0.15.0 pp.2.0.0 ppx_blob.0.9.0
          ppx_derivers.1.2.1 ppx_deriving.6.2.0 ppx_deriving_hash.0.1.4
          ppx_deriving_yojson.3.10.0 ppxlib.0.39.0 progress.0.5.0 psq.0.2.1
          ptime.1.2.0 qcheck-core.0.91 re.1.14.0+ox result.1.5 rresult.0.7.0
          sedlex.3.8.1 seq.base sexp_type.v0.18~preview.130.106+341
          sexplib.v0.18~preview.130.106+341
          sexplib0.v0.18~preview.130.106+341 sha.1.15.4
          sherlodoc.3.2.1+master.1791558161.c213704 stdlib-shims.0.3.0
          stringext.1.6.0 swhid_core.0.1 terminal.0.5.0 thread-table.1.0.0
          topkg.1.1.1+ox tyxml.5.0.0 unique.v0.18~preview.130.106+341
          uri.4.4.0 uring.2.15.0 uucp.18.0.0 uuidm.0.9.10 uutf.1.0.4+ox
          yaml.3.2.0 zarith.1.14 ocaml-variants&goblint ocaml
          ocaml-base-compiler ocaml-base-compiler base-domains
          ocaml-base-compiler oxcaml-angstrom-patches ocaml
- dune -> dune.3.21.1
    goblint 2.8.0 requires not(>= 3.22.0)
- dune-private-libs -> dune-private-libs.3.21.1
    dune-site 3.21.1 requires = 3.21.1
- dyn -> dyn.3.21.1
    dune-private-libs 3.21.1 requires = 3.21.1
- fs-io -> fs-io.3.21.1
    stdune 3.21.1 requires = 3.21.1
- goblint -> goblint.2.8.0
    User requested = 2.8.0
- ocaml -> ocaml.5.2.0
    User requested = 5.2.0
- ocaml-base-compiler -> (problem)
    Rejected candidates:
      ocaml-base-compiler.5.5.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.5.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~beta1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.4.0~alpha1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.3.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.2.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.1.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.5.0.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.4: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.3: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.2~rc1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.14.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.13.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.12.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.2: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.1: In same conflict class (ocaml-core-compiler) as ocaml-variants
      ocaml-base-compiler.4.11.0: In same conflict class (ocaml-core-compiler) as ocaml-variants
- ocaml-variants -> ocaml-variants.5.2.0+ox
    User requested = 5.2.0+ox
- ocamlformat -> (problem)
    json-data-encoding 1.0.1 requires = 0.24.1
    Rejected candidates:
      ocamlformat.0.29.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.28.1: Incompatible with restriction: = 0.24.1
      ocamlformat.0.27.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.26.2+ox2: Incompatible with restriction: = 0.24.1
      ocamlformat.0.26.2+ox1: Incompatible with restriction: = 0.24.1
      ocamlformat.0.26.2+ox: Incompatible with restriction: = 0.24.1
      ocamlformat.0.26.2: Incompatible with restriction: = 0.24.1
      ocamlformat.0.26.1: Incompatible with restriction: = 0.24.1
      ocamlformat.0.26.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.25.1: Incompatible with restriction: = 0.24.1
      ocamlformat.0.24.1: Requires ocaml >= 4.08 & < 5.2
      ocamlformat.0.23.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.22.4: Incompatible with restriction: = 0.24.1
      ocamlformat.0.21.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.20.1: Incompatible with restriction: = 0.24.1
      ocamlformat.0.20.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.19.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.18.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.17.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.16.0: Incompatible with restriction: = 0.24.1
      ocamlformat.0.15.1: Incompatible with restriction: = 0.24.1
      ocamlformat.0.15.0: Incompatible with restriction: = 0.24.1
- ordering -> ordering.3.21.1
    dyn 3.21.1 requires = 3.21.1
- oxcaml-angstrom-patches -> (problem)
    Rejected candidates:
      oxcaml-angstrom-patches.enabled: Requires angstrom = 0.16.1+ox
- oxcaml-compiler -> oxcaml-compiler.5.2.0minus39
    basement v0.18~preview.130.106+341 requires not(< 5.2.0minus39 | >= 5.4.0-ox1)
- ppx_js_style -> (problem)
    parsexp v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_js_style.v0.18~preview.130.106+341: Requires ppxlib >= 0.33.0 & < 0.36.0
      ppx_js_style.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.17.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.14.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.14.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_js_style.v0.13.0: Incompatible with restriction: = v0.18~preview.130.106+341
- ppx_sexp_conv -> (problem)
    parsexp v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_sexp_conv.v0.18~preview.130.106+341: Requires ppxlib >= 0.33.0 & < 0.36.0
      ppx_sexp_conv.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.17.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.17.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.16.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.15.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.15.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.3: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.2: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.1: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.14.0: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_sexp_conv.v0.13.0: Incompatible with restriction: = v0.18~preview.130.106+341
- ppx_template -> (problem)
    capsule0 v0.18~preview.130.106+341 requires = v0.18~preview.130.106+341
    Rejected candidates:
      ppx_template.v0.18~preview.130.106+341: Requires ppxlib >= 0.33.0 & < 0.36.0
      ppx_template.v0.18~preview.130.100+614: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_template.v0.18~preview.130.91+190: Incompatible with restriction: = v0.18~preview.130.106+341
      ppx_template.v0.18~preview.130.83+317: Incompatible with restriction: = v0.18~preview.130.106+341
- stdune -> stdune.3.21.1
    dune-private-libs 3.21.1 requires = 3.21.1
- top-closure -> top-closure.3.21.1
    stdune 3.21.1 requires = 3.21.1
- yojson -> yojson.2.2.2+ox
    goblint 2.8.0 requires >= 2.0.0 & < 3

If you believe goblint.2.8.0 should be installable on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

Not built in the latest run: a build dependency may have failed, or this version isn't the blessed one. See the history below.

History

No history entries.