Profiles › full › package: why3 › 1.3.1

why3.1.3.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:09:35Z2026-06-24-203345successdocs05d293609c46—77972e699c4f—
2026-06-24T20:58:10Z2026-06-24-203345successdocsa12b0530eedablessed1a9ada5fd46b—
2026-06-24T13:42:01Z2026-06-24-113204successbuild—blessed09fcd9f107f9
13 deps
  • base-threads.base
  • base-unix.base
  • dune.3.22.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.4.11.2
  • ocaml-config.1
  • ocaml.4.11.2
  • ocamlfind.1.9.8
2026-06-24T13:33:06Z2026-06-24-113204successbuild—blessedfa7413c6b108
13 deps
  • base-threads.base
  • base-unix.base
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
2026-06-23T10:05:21Z2026-06-23-092928successdocs05d293609c46—60ece3c4db67—
2026-06-23T09:53:06Z2026-06-23-092928successdocsa12b0530eedablessed386d39b25391—
2026-06-19T20:51:47Z2026-06-19-202157successdocs05d293609c46—21abf7a0dc48—
2026-06-19T20:45:48Z2026-06-19-192323successdocsa12b0530eedablessedf1b2ad25d4e6—
2026-06-16T20:13:18Z2026-06-16-193644successdocs05d293609c46—f2465266f06c—
2026-06-16T20:11:37Z2026-06-16-193644successdocsa12b0530eedablessed2eb721a606aa—
2026-06-16T14:04:05Z2026-06-16-123625successbuild—blessed6d0767d15bdf—
2026-06-16T12:54:04Z2026-06-16-113640successbuild—blessed77f75ee40592—