← Back to PR #0
Build Log: colibrics.0.3.3
Status: FAILURE
Log Output
Processing: [default: loading data]
[colibrics.0.3.3: http]
[ERROR] Failed to get sources of colibrics.0.3.3: HTTP error code 502
download failed... https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.3.3/colibri2-0.3.3.tbz (code 502 while downloading https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.3.3/colibri2-0.3.3.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.4.14.2" "sexplib0.v0.16.0"}
"base_bigstring.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "int_repr.v0.16.0" "ocaml.4.14.2" "ppx_jane.v0.16.0"}
"base_quickcheck.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "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.4.14.2";
"colibrics.0.3.3" -> {"cmdliner.1.3.0" "core.v0.16.2" "dolmen.0.7" "dolmen_loop.0.7" "dolmen_type.0.7" "dune.3.10.0" "jingoo.1.5.1" "logs.0.10.0" "ocaml.4.14.2" "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.4.14.2" "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.4.14.2"}
"csexp.1.5.2" -> {"dune.3.10.0" "ocaml.4.14.2"}
"dolmen.0.7" -> {"dune.3.10.0" "fmt.0.11.0" "menhir.20250912" "ocaml.4.14.2" "seq.base"}
"dolmen_loop.0.7" -> {"dolmen.0.7" "dolmen_type.0.7" "dune.3.10.0" "gen.1.1" "ocaml.4.14.2" "pp_loc.2.1.0"}
"dolmen_type.0.7" -> {"dolmen.0.7" "dune.3.10.0" "ocaml.4.14.2" "spelll.0.4" "uutf.1.0.4"}
"dune.3.10.0" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"dune-configurator.3.13.1" -> {"base-unix.base" "csexp.1.5.2" "dune.3.10.0" "ocaml.4.14.2"}
"fieldslib.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"gen.1.1" -> {"dune.3.10.0" "ocaml.4.14.2" "seq.base"}
"int_repr.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppx_jane.v0.16.0"}
"jane-street-headers.v0.16.0" -> {"dune.3.10.0" "ocaml.4.14.2"}
"jingoo.1.5.1" -> {"dune.3.10.0" "menhir.20250912" "ocaml.4.14.2" "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.4.14.2" "ppx_assert.v0.16.0"}
"logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "ocaml.4.14.2" "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.4.14.2"}
"menhirCST.20250912" -> {"dune.3.10.0" "ocaml.4.14.2"}
"menhirLib.20250912" -> {"dune.3.10.0" "ocaml.4.14.2"}
"menhirSdk.20250912" -> {"dune.3.10.0" "ocaml.4.14.2"}
"num.1.6" -> "ocaml.4.14.2";
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.10.0" "ocaml.4.14.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"ocamlbuild.0.16.1" -> "ocaml.4.14.2";
"ocamlfind.1.9.8" -> "ocaml.4.14.2";
"parsexp.v0.16.0" -> {"dune.3.10.0" "ocaml.4.14.2" "sexplib0.v0.16.0"}
"pp_loc.2.1.0" -> {"dune.3.10.0" "ocaml.4.14.2"}
"ppx_assert.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "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.4.14.2" "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.4.14.2" "ppx_here.v0.16.0" "ppxlib.0.35.0"}
"ppx_cold.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_custom_printf.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_derivers.1.2.1" -> {"dune.3.10.0" "ocaml.4.14.2"}
"ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.10.0" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"}
"ppx_deriving_yojson.3.9.1" -> {"dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "ppxlib.0.35.0"}
"ppx_enumerate.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_expect.v0.16.2" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "ppxlib.0.35.0"}
"ppx_fixed_literal.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_globalize.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "ppxlib.0.35.0"}
"ppx_ignore_instrumentation.v0.16.0" -> {"dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_inline_test.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0" "time_now.v0.16.0"}
"ppx_jane.v0.16.0" -> {"base_quickcheck.v0.16.0" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "ppx_here.v0.16.0" "ppxlib.0.35.0"}
"ppx_log.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "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.4.14.2" "ppxlib.0.35.0" "stdio.v0.16.0"}
"ppx_optional.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_pipebang.v0.16.0" -> {"dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0" "sexplib0.v0.16.0"}
"ppx_sexp_message.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2" "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.4.14.2" "ppxlib.0.35.0"}
"ppx_stable_witness.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_string.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppx_base.v0.16.0" "ppxlib.0.35.0"}
"ppx_tydi.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_typerep_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0" "typerep.v0.16.0"}
"ppx_variants_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "ppxlib.0.35.0" "variantslib.v0.16.0"}
"ppxlib.0.35.0" -> {"dune.3.10.0" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"re.1.12.0" -> {"dune.3.10.0" "ocaml.4.14.2" "seq.base"}
"seq.base" -> "ocaml.4.14.2";
"sexplib.v0.16.0" -> {"dune.3.10.0" "num.1.6" "ocaml.4.14.2" "parsexp.v0.16.0" "sexplib0.v0.16.0"}
"sexplib0.v0.16.0" -> {"dune.3.10.0" "ocaml.4.14.2"}
"spelll.0.4" -> {"dune.3.10.0" "ocaml.4.14.2" "seq.base" "stdlib-shims.0.3.0"}
"splittable_random.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2" "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.4.14.2"}
"stdlib-shims.0.3.0" -> {"dune.3.10.0" "ocaml.4.14.2"}
"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.4.14.2" "ppx_base.v0.16.0" "ppx_optcomp.v0.16.0"}
"topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"typerep.v0.16.0" -> {"base.v0.16.4" "dune.3.10.0" "ocaml.4.14.2"}
"uucp.17.0.0" -> {"cmdliner.1.3.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.4.14.2" "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.4.14.2"}
"why3.1.7.2" -> {"menhir.20250912" "num.1.6" "ocaml.4.14.2" "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.4.14.2"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"}
}