Profiles › full › package: why3-coq › 1.7.1

why3-coq.1.7.1

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-123844successdocsff2180d37c8dblessed93f49757681e—
2026-06-24T21:30:07Z2026-06-24-203345successdocsff2180d37c8dblessed204770ce8c8a—
2026-06-24T17:19:38Z2026-06-24-153355successbuild—blessed8c8d766dc5a8
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.1
  • zarith.1.14
2026-06-23T21:58:22Z2026-06-23-203059successdocsff2180d37c8dblessed90b3147cd797—
2026-06-23T21:05:25Z2026-06-23-193124successbuild—blessede3d98541018d
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.1
  • zarith.1.14
2026-06-23T10:22:13Z2026-06-23-092928successdocsff2180d37c8dblessedcc3f19eda523—
2026-06-16T20:38:54Z2026-06-16-193644successdocsff2180d37c8dblessed75590d803e36—
2026-06-16T17:20:55Z2026-06-16-163632successbuild—blessedcf6bd0a82b68—