Profiles › full › package: z3 › 4.16.0

z3.4.16.0

✗ Build failed — a build error.

Blessed build job: view build log

If you believe z3.4.16.0 should compile correctly on Debian bookworm, 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-06-24T13:46:11Z2026-06-24-113204failurebuild—blessedd1c6be30a2c0
10 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-24T12:43:28Z2026-06-24-103903failurebuild—blessed2a4f66b2bf52
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.8
  • zarith.1.14
2026-06-24T12:18:32Z2026-06-24-103903failurebuild—blessed2e190b8cd299
9 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml.4.12.1
  • ocamlfind.1.9.6
  • zarith.1.14
2026-06-24T12:11:07Z2026-06-24-103903failurebuild—blessed57646c314124
9 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.4.14.2
  • ocaml-config.2
  • ocaml.4.14.2
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-24T12:06:42Z2026-06-24-103903failurebuild—blessed6a7ab519147e
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-06-23T19:28:45Z2026-06-23-164340failurebuild—blessed00a21d5aba4a
9 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.4.14.2
  • ocaml-config.2
  • ocaml.4.14.2
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T19:13:07Z2026-06-23-164340failurebuild—blessed531ef61b4c48
9 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml.4.12.1
  • ocamlfind.1.9.6
  • zarith.1.14
2026-06-23T18:41:15Z2026-06-23-164340failurebuild—blesseda80e9614e980
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-06-23T18:23:57Z2026-06-23-164340failurebuild—blessed4ca182615d7e
10 deps
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • zarith.1.14
2026-06-23T17:18:20Z2026-06-23-164340failurebuild—blessed1abc3c7ea98b
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.8
  • zarith.1.14
2026-06-20T16:38:56Z2026-06-20-153623failurebuild—blessed9f54d0d3fbb5—
2026-06-16T13:21:16Z2026-06-16-113640failurebuild—blessed01c24e298175—
2026-06-16T12:44:26Z2026-06-16-113640failurebuild—blessed0ba6daa19c11—
2026-06-16T12:18:14Z2026-06-16-113640failurebuild—blesseda34ae8d36229—
2026-06-16T12:04:57Z2026-06-16-113640failurebuild—blessed9d18aebf4264—