Profiles › full › package: why3-coq › 1.7.0

why3-coq.1.7.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:48:56Z2026-06-26-123844successdocsa3452f9fc513blessed3abd50c7a82f—
2026-06-24T21:30:07Z2026-06-24-203345successdocsa3452f9fc513blessed7bc4365bd68a—
2026-06-24T17:19:49Z2026-06-24-153355successbuild—blessed05c4be98d531
22 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • coq-stdlib.8.18.0
  • coq.8.18.0
  • coqide-server.8.18.0
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • why3.1.7.0
  • zarith.1.14
2026-06-23T21:58:34Z2026-06-23-203059successdocsa3452f9fc513blessed74c7316b13f3—
2026-06-23T21:05:31Z2026-06-23-193124successbuild—blessed7a97664994f8
22 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-pkg-config.5
  • coq-core.8.18.0
  • coq-stdlib.8.18.0
  • coq.8.18.0
  • coqide-server.8.18.0
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • why3.1.7.0
  • zarith.1.14
2026-06-23T10:22:14Z2026-06-23-092928successdocsa3452f9fc513blessedc9872779bfad—
2026-06-16T20:38:54Z2026-06-16-193644successdocsa3452f9fc513blessed43936ab24b9f—
2026-06-16T17:20:57Z2026-06-16-163632successbuild—blessed1082a0d5e17a—