Profiles › full › package: z3 › 4.12.2-1

z3.4.12.2-1

✗ Build failed — a build error.

Blessed build job: view build log

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

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-04T16:43:26Z2026-09-04-153617failurebuild—blessedaa3d3659610f
10 deps
  • compiler-cloning.enabled
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • zarith.1.14
2026-09-03T19:45:22Z2026-09-03-173109failurebuild—blessed8b120305ad6d
10 deps
  • compiler-cloning.enabled
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • zarith.1.14