Profiles › full › package: yices2 › 0.0.2

yices2.0.0.2

✗ Build failed — a build error.

Blessed build job: view build log

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

History

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-03T18:19:29Z2026-09-03-173109failurebuild—blessedd4fbf0a115d4
7 deps
  • conf-gmp.5
  • conf-pkg-config.5
  • ocaml-base-compiler.5.1.1
  • ocaml-config.3
  • ocaml.5.1.1
  • ocamlfind.1.9.8
  • zarith.1.14
2026-09-03T17:42:16Z2026-09-03-164525failurebuild—blessedd4fbf0a115d4
7 deps
  • conf-gmp.5
  • conf-pkg-config.5
  • ocaml-base-compiler.5.1.1
  • ocaml-config.3
  • ocaml.5.1.1
  • ocamlfind.1.9.8
  • zarith.1.14