Profiles › full › package: universo › 2.7

universo.2.7

No rendered docs found on disk, though the latest blessed build succeeded — the output may still be syncing.

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-09T09:55:58Z2026-09-09-084957successdocs1b64046f5743blessed3f980007af17—
2026-09-08T18:46:52Z2026-09-08-174327successdocs1b64046f5743blessed32eb2bd94779—
2026-09-07T23:13:23Z2026-09-07-214511successdocs1b64046f5743blesseda1882ccb620c—
2026-09-06T21:15:26Z2026-09-06-193832successdocs1b64046f5743blessedcde4d5b7636d—
2026-09-04T20:48:27Z2026-09-04-173559successdocs1b64046f5743blessed1e1a215b2472—
2026-09-04T18:29:01Z2026-09-04-173559successbuild—blessed58daf5798929
21 deps
  • base-threads.base
  • base-unix.base
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • dedukti.2.7
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • z3.4.16.0
  • zarith.1.14
2026-09-04T02:58:10Z2026-09-03-223036successdocsd7ec018cf163blessedfc90a8cbf2ab—
2026-09-03T22:34:17Z2026-09-03-173109successbuild—blessedc80fdfea86ae
21 deps
  • base-threads.base
  • base-unix.base
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-c++.1.0
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-python-3.9.0.0
  • dedukti.2.7
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • z3.4.16.0
  • zarith.1.14