Profiles › full › package: cvc5 › 1.1.3~unreleased

cvc5.1.1.3~unreleased

✗ Build failed — a build error.

Blessed build job: view build log

If you believe cvc5.1.1.3~unreleased should compile correctly on Debian bookworm, please comment on the ocurrent/ocaml-docs-ci issues: find issue · report issue

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T11:48:56Z2026-06-24-103903failurebuild—blessed3a46ee641682
15 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-cmake.1
  • conf-g++.1.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-python-3-dev.1
  • conf-python-3.9.0.0
  • conf-python3-pyparsing.1
  • conf-python3-tomli.1
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
2026-06-20T16:14:59Z2026-06-20-153623failurebuild—blessed09b981ebe052—
2026-06-16T12:36:39Z2026-06-16-113640failurebuild—blessedcfaf3ff09593—