Package colibri2

• colibri2.0.4-2d832b7d5e0e76bf0cdbd0b486468715

  • prep

    • prep colibri2.0.4-2d832b7d5e0e76bf0cdbd0b486468715

      blocked

    • prep dependency antic.0.4.0-93699f432766835024a4fdb873be2ae2

      blocked

    • prep dependency arb.0.4.0-93699f432766835024a4fdb873be2ae2

      blocked

    • prep dependency base.v0.15.1-a767845003ba573b57f66332f99c4db4

      OK

    • prep dependency base-threads.base-e6be6003562199c0077d9e161a2b0193

      OK

    • prep dependency base-unix.base-e6be6003562199c0077d9e161a2b0193

      OK

    • prep dependency bigarray-compat.1.1.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency calcium.0.4.0-00abcc9d841ab372b35be6a5b940da38

      blocked

    • prep dependency cmdliner.1.3.0-0fca2abfcb910a4b5f52484129893b90

      OK

    • prep dependency colibrilib.0.4-70855dc3bfa6738b9c32c8a191767d3d

      OK

    • prep dependency conf-autoconf.0.2-e6be6003562199c0077d9e161a2b0193

      OK

    • prep dependency conf-flint.3.0-e6be6003562199c0077d9e161a2b0193

      error: Failed: Build failed

    • prep dependency conf-gmp.5-f557c693ebd4572f91b199704bd96583

      OK

    • prep dependency conf-mpfr.3-44ed900a22f57457747e6760a05806b9

      OK

    • prep dependency conf-pkg-config.4-e6be6003562199c0077d9e161a2b0193

      OK

    • prep dependency containers.3.15-b516fd3ce1323cf92f52d8acc7f7f274

      OK

    • prep dependency cppo.1.8.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency csexp.1.5.2-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency ctypes.0.23.0-9d612c3aa12e7aa20f0c8d15564549cb

      OK

    • prep dependency dolmen.0.8.1-c5fbd8e80fe9866faa8e45c3eeada299

      OK

    • prep dependency dolmen_loop.0.8.1-67bf3bfa0ef0d1e41e33e15ad22cb8dd

      OK

    • prep dependency dolmen_type.0.8.1-be8aac861829f23d911153359d3ccfb3

      OK

    • prep dependency dune.3.10.0-21af889655c6c0bf0d3a29408b8668d1

      OK

    • prep dependency dune-build-info.3.13.1-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency dune-configurator.3.13.1-db322eb7010b65445ad3b42da2f23693

      OK

    • prep dependency either.1.0.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency farith.0.1-abf34b87960bc9ec50a4c537a28fb2b7

      OK

    • prep dependency flint.0.4.0-8c9134717077ad3962e0a78fea24f49a

      blocked

    • prep dependency fmt.0.10.0-aacd161b4c6715bab2d74faf5a1dc9f2

      OK

    • prep dependency gen.1.1-e0ba1afa82bcc45257be022f93d85dae

      OK

    • prep dependency integers.0.7.0-fe76dcb1ba9a1479d227f859b396386d

      OK

    • prep dependency jane-street-headers.v0.15.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency jst-config.v0.15.1-5a8e1a19a73770f64db95b79f79d23e4

      OK

    • prep dependency menhir.20240715-0e1b75122caf9e6bd243757e32da992a

      OK

    • prep dependency menhirCST.20240715-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency menhirLib.20240715-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency menhirSdk.20240715-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency num.1.5-1-0fca2abfcb910a4b5f52484129893b90

      OK

    • prep dependency ocaml.5.0.0-ba1fdf9ff4603e3de82e80016765ed79

      OK

    • prep dependency ocaml-base-compiler.5.0.0-e6be6003562199c0077d9e161a2b0193

      OK

    • prep dependency ocaml-compiler-libs.v0.12.4-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency ocaml-config.3-a3d5c55debcbb48bc4df40cdd1f6e87b

      OK

    • prep dependency ocamlbuild.0.16.1-0fca2abfcb910a4b5f52484129893b90

      OK

    • prep dependency ocamlfind.1.9.8-0fca2abfcb910a4b5f52484129893b90

      OK

    • prep dependency ocamlgraph.2.2.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency ocplib-simplex.0.4-8610c56f0eae81ef781fdadbeed5905e

      OK

    • prep dependency pp_loc.2.1.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency ppx_assert.v0.15.0-0888f3f7c66eb6fdf995025bddc838f9

      OK

    • prep dependency ppx_base.v0.15.0-935c0960e58731d94f8c5f1c666cf979

      OK

    • prep dependency ppx_cold.v0.15.0-e3143c2575e68520505171b0b2e6a44d

      OK

    • prep dependency ppx_compare.v0.15.0-e3143c2575e68520505171b0b2e6a44d

      OK

    • prep dependency ppx_derivers.1.2.1-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency ppx_deriving.6.0.3-406483e4ecf08335ba540171208057eb

      OK

    • prep dependency ppx_enumerate.v0.15.0-e3143c2575e68520505171b0b2e6a44d

      OK

    • prep dependency ppx_hash.v0.15.0-9a24e00fd9ac60fcda957379196db1ea

      OK

    • prep dependency ppx_here.v0.15.0-e3143c2575e68520505171b0b2e6a44d

      OK

    • prep dependency ppx_inline_test.v0.15.1-245be63863c8faa0b959148b2da93147

      OK

    • prep dependency ppx_optcomp.v0.15.0-05fc26ee1864b78c5b3f15c0cceec7ba

      OK

    • prep dependency ppx_sexp_conv.v0.15.1-e3143c2575e68520505171b0b2e6a44d

      OK

    • prep dependency ppxlib.0.35.0-68b28e5adb1ecb32fb35de9635bf1bf4

      OK

    • prep dependency qcheck-core.0.25-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency re.1.12.0-e0ba1afa82bcc45257be022f93d85dae

      OK

    • prep dependency seq.base-0fca2abfcb910a4b5f52484129893b90

      OK

    • prep dependency sexplib0.v0.15.1-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency spelll.0.4-0a6a06726ad84ca76e09acf0859a6fc2

      OK

    • prep dependency stdio.v0.15.0-3be3398e357f6c5aad045a606f8c8623

      OK

    • prep dependency stdlib-shims.0.3.0-e5dbb2f30da00126849fffd7f062a374

      OK

    • prep dependency time_now.v0.15.0-db686245b915cc6a73328e2809fa185b

      OK

    • prep dependency topkg.1.0.8-257aa0fd1581dec633b56e135eda2a2a

      OK

    • prep dependency uutf.1.0.4-baf9076d88ca26eaae5c143ff4cef4e1

      OK

    • prep dependency zarith.1.14-fe775d9f969e56dcd467f7a74013055a

      OK

All universes

2d832b7d5e0e76bf0cdbd0b486468715

• prep

  • prep colibri2.0.4-2d832b7d5e0e76bf0cdbd0b486468715

    blocked

  • prep dependency antic.0.4.0-93699f432766835024a4fdb873be2ae2

    blocked

  • prep dependency arb.0.4.0-93699f432766835024a4fdb873be2ae2

    blocked

  • prep dependency base.v0.15.1-a767845003ba573b57f66332f99c4db4

    OK

  • prep dependency base-threads.base-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency base-unix.base-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency bigarray-compat.1.1.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency calcium.0.4.0-00abcc9d841ab372b35be6a5b940da38

    blocked

  • prep dependency cmdliner.1.3.0-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency colibrilib.0.4-70855dc3bfa6738b9c32c8a191767d3d

    OK

  • prep dependency conf-autoconf.0.2-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency conf-flint.3.0-e6be6003562199c0077d9e161a2b0193

    error: Failed: Build failed

  • prep dependency conf-gmp.5-f557c693ebd4572f91b199704bd96583

    OK

  • prep dependency conf-mpfr.3-44ed900a22f57457747e6760a05806b9

    OK

  • prep dependency conf-pkg-config.4-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency containers.3.15-b516fd3ce1323cf92f52d8acc7f7f274

    OK

  • prep dependency cppo.1.8.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency csexp.1.5.2-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency ctypes.0.23.0-9d612c3aa12e7aa20f0c8d15564549cb

    OK

  • prep dependency dolmen.0.8.1-c5fbd8e80fe9866faa8e45c3eeada299

    OK

  • prep dependency dolmen_loop.0.8.1-67bf3bfa0ef0d1e41e33e15ad22cb8dd

    OK

  • prep dependency dolmen_type.0.8.1-be8aac861829f23d911153359d3ccfb3

    OK

  • prep dependency dune.3.10.0-21af889655c6c0bf0d3a29408b8668d1

    OK

  • prep dependency dune-build-info.3.13.1-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency dune-configurator.3.13.1-db322eb7010b65445ad3b42da2f23693

    OK

  • prep dependency either.1.0.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency farith.0.1-abf34b87960bc9ec50a4c537a28fb2b7

    OK

  • prep dependency flint.0.4.0-8c9134717077ad3962e0a78fea24f49a

    blocked

  • prep dependency fmt.0.10.0-aacd161b4c6715bab2d74faf5a1dc9f2

    OK

  • prep dependency gen.1.1-e0ba1afa82bcc45257be022f93d85dae

    OK

  • prep dependency integers.0.7.0-fe76dcb1ba9a1479d227f859b396386d

    OK

  • prep dependency jane-street-headers.v0.15.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency jst-config.v0.15.1-5a8e1a19a73770f64db95b79f79d23e4

    OK

  • prep dependency menhir.20240715-0e1b75122caf9e6bd243757e32da992a

    OK

  • prep dependency menhirCST.20240715-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency menhirLib.20240715-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency menhirSdk.20240715-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency num.1.5-1-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency ocaml.5.0.0-ba1fdf9ff4603e3de82e80016765ed79

    OK

  • prep dependency ocaml-base-compiler.5.0.0-e6be6003562199c0077d9e161a2b0193

    OK

  • prep dependency ocaml-compiler-libs.v0.12.4-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency ocaml-config.3-a3d5c55debcbb48bc4df40cdd1f6e87b

    OK

  • prep dependency ocamlbuild.0.16.1-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency ocamlfind.1.9.8-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency ocamlgraph.2.2.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency ocplib-simplex.0.4-8610c56f0eae81ef781fdadbeed5905e

    OK

  • prep dependency pp_loc.2.1.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency ppx_assert.v0.15.0-0888f3f7c66eb6fdf995025bddc838f9

    OK

  • prep dependency ppx_base.v0.15.0-935c0960e58731d94f8c5f1c666cf979

    OK

  • prep dependency ppx_cold.v0.15.0-e3143c2575e68520505171b0b2e6a44d

    OK

  • prep dependency ppx_compare.v0.15.0-e3143c2575e68520505171b0b2e6a44d

    OK

  • prep dependency ppx_derivers.1.2.1-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency ppx_deriving.6.0.3-406483e4ecf08335ba540171208057eb

    OK

  • prep dependency ppx_enumerate.v0.15.0-e3143c2575e68520505171b0b2e6a44d

    OK

  • prep dependency ppx_hash.v0.15.0-9a24e00fd9ac60fcda957379196db1ea

    OK

  • prep dependency ppx_here.v0.15.0-e3143c2575e68520505171b0b2e6a44d

    OK

  • prep dependency ppx_inline_test.v0.15.1-245be63863c8faa0b959148b2da93147

    OK

  • prep dependency ppx_optcomp.v0.15.0-05fc26ee1864b78c5b3f15c0cceec7ba

    OK

  • prep dependency ppx_sexp_conv.v0.15.1-e3143c2575e68520505171b0b2e6a44d

    OK

  • prep dependency ppxlib.0.35.0-68b28e5adb1ecb32fb35de9635bf1bf4

    OK

  • prep dependency qcheck-core.0.25-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency re.1.12.0-e0ba1afa82bcc45257be022f93d85dae

    OK

  • prep dependency seq.base-0fca2abfcb910a4b5f52484129893b90

    OK

  • prep dependency sexplib0.v0.15.1-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency spelll.0.4-0a6a06726ad84ca76e09acf0859a6fc2

    OK

  • prep dependency stdio.v0.15.0-3be3398e357f6c5aad045a606f8c8623

    OK

  • prep dependency stdlib-shims.0.3.0-e5dbb2f30da00126849fffd7f062a374

    OK

  • prep dependency time_now.v0.15.0-db686245b915cc6a73328e2809fa185b

    OK

  • prep dependency topkg.1.0.8-257aa0fd1581dec633b56e135eda2a2a

    OK

  • prep dependency uutf.1.0.4-baf9076d88ca26eaae5c143ff4cef4e1

    OK

  • prep dependency zarith.1.14-fe775d9f969e56dcd467f7a74013055a

    OK