← Back to PR #0

Build Log: colibrics.0.4

Status: FAILURE

Log Output

Processing: [default: loading data] [colibrics.0.4: http] [ERROR] Failed to get sources of colibrics.0.4: HTTP error code 502 download failed... https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.4/colibri2-0.4.tbz (code 502 while downloading https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.4/colibri2-0.4.tbz)

Dependency Graph

Loading graph...
View raw DOT format
digraph opam { "base.v0.16.4" -> {"dune.3.10.0" "dune-configurator.3.13.1" "ocaml.5.2.1" "sexplib0.v0.16.0"} "base_bigstring.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "int_repr.v0.16.0" "ocaml.5.2.1" "ppx_jane.v0.16.0"} "base_quickcheck.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_base.v0.16.0" "ppx_fields_conv.v0.16.0" "ppx_let.v0.16.0" "ppx_sexp_message.v0.16.0" "ppx_sexp_value.v0.16.0" "ppxlib.0.35.0" "splittable_random.v0.16.0"} "bin_prot.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_compare.v0.16.0" "ppx_custom_printf.v0.16.0" "ppx_fields_conv.v0.16.0" "ppx_optcomp.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppx_stable_witness.v0.16.0" "ppx_variants_conv.v0.16.0"} "cmdliner.1.3.0" -> "ocaml.5.2.1"; "colibrics.0.4" -> {"cmdliner.1.3.0" "core.v0.16.2" "dolmen.0.8.1" "dolmen_loop.0.8.1" "dolmen_type.0.8.1" "dune.3.10.0" "jingoo.1.5.1" "logs.0.10.0" "ocaml.5.2.1" "ppx_deriving_yojson.3.9.1" "why3.1.7.2" "yojson.3.0.0" "zarith.1.14"} "core.v0.16.2" -> {"base.v0.16.4" "base_bigstring.v0.16.0" "base_quickcheck.v0.16.0" "bin_prot.v0.16.0" "dune.3.10.0" "fieldslib.v0.16.0" "jane-street-headers.v0.16.0" "jst-config.v0.16.0" "ocaml.5.2.1" "ppx_assert.v0.16.0" "ppx_base.v0.16.0" "ppx_hash.v0.16.0" "ppx_inline_test.v0.16.0" "ppx_jane.v0.16.0" "ppx_optcomp.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppx_sexp_message.v0.16.0" "sexplib.v0.16.0" "splittable_random.v0.16.0" "stdio.v0.16.0" "time_now.v0.16.0" "typerep.v0.16.0" "variantslib.v0.16.0"} "cppo.1.8.0" -> {"base-unix.base" "dune.3.10.0" "ocaml.5.2.1"} "csexp.1.5.2" -> {"dune.3.10.0" "ocaml.5.2.1"} "dolmen.0.8.1" -> {"dune.3.10.0" "fmt.0.11.0" "menhir.20250912" "ocaml.5.2.1" "seq.base"} "dolmen_loop.0.8.1" -> {"dolmen.0.8.1" "dolmen_type.0.8.1" "dune.3.10.0" "gen.1.1" "ocaml.5.2.1" "pp_loc.2.1.0"} "dolmen_type.0.8.1" -> {"dolmen.0.8.1" "dune.3.10.0" "ocaml.5.2.1" "spelll.0.4" "uutf.1.0.4"} "dune.3.10.0" -> {"base-threads.base" "base-unix.base" "ocaml.5.2.1"} "dune-configurator.3.13.1" -> {"base-unix.base" "csexp.1.5.2" "dune.3.10.0" "ocaml.5.2.1"} "fieldslib.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1"} "fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "gen.1.1" -> {"dune.3.10.0" "ocaml.5.2.1" "seq.base"} "int_repr.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_jane.v0.16.0"} "jane-street-headers.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1"} "jingoo.1.5.1" -> {"dune.3.10.0" "menhir.20250912" "ocaml.5.2.1" "ppx_deriving.6.0.3" "re.1.12.0" "uucp.17.0.0" "uutf.1.0.4"} "jst-config.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "dune-configurator.3.13.1" "ocaml.5.2.1" "ppx_assert.v0.16.0"} "logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "menhir.20250912" -> {"dune.3.10.0" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.2.1"} "menhirCST.20250912" -> {"dune.3.10.0" "ocaml.5.2.1"} "menhirLib.20250912" -> {"dune.3.10.0" "ocaml.5.2.1"} "menhirSdk.20250912" -> {"dune.3.10.0" "ocaml.5.2.1"} "num.1.6" -> "ocaml.5.2.1"; "ocaml.5.2.1" -> {"ocaml-base-compiler.5.2.1" "ocaml-config.3"} "ocaml-compiler-libs.v0.17.0" -> {"dune.3.10.0" "ocaml.5.2.1"} "ocaml-config.3" -> "ocaml-base-compiler.5.2.1"; "ocamlbuild.0.16.1" -> "ocaml.5.2.1"; "ocamlfind.1.9.8" -> "ocaml.5.2.1"; "parsexp.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1" "sexplib0.v0.16.0"} "pp_loc.2.1.0" -> {"dune.3.10.0" "ocaml.5.2.1"} "ppx_assert.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_base.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1" "ppx_cold.v0.16.0" "ppx_compare.v0.16.0" "ppx_enumerate.v0.16.0" "ppx_globalize.v0.16.0" "ppx_hash.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_bench.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1" "ppx_inline_test.v0.16.0" "ppxlib.0.35.0"} "ppx_bin_prot.v0.16.0" -> {"base.v0.16.4" "bin_prot.v0.16.0" "dune.3.10.0" "ocaml.5.2.1" "ppx_here.v0.16.0" "ppxlib.0.35.0"} "ppx_cold.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_custom_printf.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_derivers.1.2.1" -> {"dune.3.10.0" "ocaml.5.2.1"} "ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.10.0" "ocaml.5.2.1" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"} "ppx_deriving_yojson.3.9.1" -> {"dune.3.10.0" "ocaml.5.2.1" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"} "ppx_disable_unused_warnings.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_enumerate.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_expect.v0.16.2" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_here.v0.16.0" "ppx_inline_test.v0.16.0" "ppxlib.0.35.0" "re.1.12.0" "stdio.v0.16.0"} "ppx_fields_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "fieldslib.v0.16.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_fixed_literal.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_globalize.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_compare.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_here.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_ignore_instrumentation.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_inline_test.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0" "time_now.v0.16.0"} "ppx_jane.v0.16.0" -> {"base_quickcheck.v0.16.0" "dune.3.10.0" "ocaml.5.2.1" "ppx_assert.v0.16.0" "ppx_base.v0.16.0" "ppx_bench.v0.16.0" "ppx_bin_prot.v0.16.0" "ppx_custom_printf.v0.16.0" "ppx_disable_unused_warnings.v0.16.0" "ppx_expect.v0.16.2" "ppx_fields_conv.v0.16.0" "ppx_fixed_literal.v0.16.0" "ppx_here.v0.16.0" "ppx_ignore_instrumentation.v0.16.0" "ppx_inline_test.v0.16.0" "ppx_let.v0.16.0" "ppx_log.v0.16.0" "ppx_module_timer.v0.16.0" "ppx_optional.v0.16.0" "ppx_pipebang.v0.16.0" "ppx_sexp_message.v0.16.0" "ppx_sexp_value.v0.16.0" "ppx_stable.v0.16.0" "ppx_stable_witness.v0.16.0" "ppx_string.v0.16.0" "ppx_tydi.v0.16.0" "ppx_typerep_conv.v0.16.0" "ppx_variants_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_let.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_here.v0.16.0" "ppxlib.0.35.0"} "ppx_log.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppx_sexp_message.v0.16.0" "ppxlib.0.35.0" "sexplib.v0.16.0"} "ppx_module_timer.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_base.v0.16.0" "ppxlib.0.35.0" "stdio.v0.16.0" "time_now.v0.16.0"} "ppx_optcomp.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0" "stdio.v0.16.0"} "ppx_optional.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_pipebang.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0" "sexplib0.v0.16.0"} "ppx_sexp_message.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_sexp_value.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_here.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"} "ppx_stable.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_stable_witness.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_string.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_base.v0.16.0" "ppxlib.0.35.0"} "ppx_tydi.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0"} "ppx_typerep_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0" "typerep.v0.16.0"} "ppx_variants_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppxlib.0.35.0" "variantslib.v0.16.0"} "ppxlib.0.35.0" -> {"dune.3.10.0" "ocaml.5.2.1" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"} "re.1.12.0" -> {"dune.3.10.0" "ocaml.5.2.1" "seq.base"} "seq.base" -> "ocaml.5.2.1"; "sexplib.v0.16.0" -> {"dune.3.10.0" "num.1.6" "ocaml.5.2.1" "parsexp.v0.16.0" "sexplib0.v0.16.0"} "sexplib0.v0.16.0" -> {"dune.3.10.0" "ocaml.5.2.1"} "spelll.0.4" -> {"dune.3.10.0" "ocaml.5.2.1" "seq.base" "stdlib-shims.0.3.0"} "splittable_random.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1" "ppx_assert.v0.16.0" "ppx_bench.v0.16.0" "ppx_inline_test.v0.16.0" "ppx_sexp_message.v0.16.0"} "stdio.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1"} "stdlib-shims.0.3.0" -> {"dune.3.10.0" "ocaml.5.2.1"} "time_now.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "jane-street-headers.v0.16.0" "jst-config.v0.16.0" "ocaml.5.2.1" "ppx_base.v0.16.0" "ppx_optcomp.v0.16.0"} "topkg.1.1.1" -> {"ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"} "typerep.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1"} "uucp.17.0.0" -> {"cmdliner.1.3.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.5.2.1" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"} "variantslib.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.5.2.1"} "why3.1.7.2" -> {"menhir.20250912" "num.1.6" "ocaml.5.2.1" "ocamlfind.1.9.8" "ppx_deriving.6.0.3" "ppx_sexp_conv.v0.16.0" "sexplib.v0.16.0" "zarith.1.14"} "yojson.3.0.0" -> {"dune.3.10.0" "ocaml.5.2.1"} "zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.2.1" "ocamlfind.1.9.8"} }