Profiles › full › package: tptp › 0.3.2

tptp.0.3.2

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:18:35Z2026-06-26-123844successdocse8825cf66903blessed8a392f6a97a1—
2026-06-24T20:58:13Z2026-06-24-203345successdocse8825cf66903blessed85cc58e62044—
2026-06-24T13:31:12Z2026-06-24-113204successbuild—blessed5f6a0f3a4a8f
17 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • pprint.20230830
  • zarith.1.14
2026-06-23T20:01:36Z2026-06-23-185007successdocse8825cf66903blessedc900622daed3—
2026-06-23T18:26:35Z2026-06-23-164340successbuild—blessed9b7920f61bfa
17 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • pprint.20230830
  • zarith.1.14
2026-06-23T09:53:09Z2026-06-23-092928successdocse8825cf66903blessed8b61baaa7177—
2026-06-19T20:45:52Z2026-06-19-192323successdocse8825cf66903blessedc1c6762997fd—
2026-06-16T20:11:39Z2026-06-16-193644successdocse8825cf66903blesseda51c57a935e0—
2026-06-16T12:52:47Z2026-06-16-113640successbuild—blessed81cdb273e6b5—