Profiles › full › package: z3 › 4.8.13

z3.4.8.13

✗ Build failed — a build error.

Blessed build job: view build log

If you believe z3.4.8.13 should compile correctly on Debian trixie, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-03T18:17:09Z2026-09-03-173109failurebuild—blessed65e661a8732a
9 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • zarith.1.14
2026-09-03T18:03:58Z2026-09-03-164525failurebuild—blessed65e661a8732a
9 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • zarith.1.14