Profiles › full › package: why3-coq › 1.7.2

why3-coq.1.7.2

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-26T13:48:53Z2026-06-26-123844successdocs6fa5df0f09c6blessed9f7ae33717cc—
2026-06-24T21:30:07Z2026-06-24-203345successdocs6fa5df0f09c6blessedf8ced9e56e0e—
2026-06-24T17:19:49Z2026-06-24-153355successbuild—blessed50b330a6ebf0
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.2
  • zarith.1.14
2026-06-23T21:58:23Z2026-06-23-203059successdocs6fa5df0f09c6blessed7d96fc148f3c—
2026-06-23T21:05:25Z2026-06-23-193124successbuild—blessed95ada372f24e
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.2
  • zarith.1.14
2026-06-23T10:22:12Z2026-06-23-092928successdocs6fa5df0f09c6blessed9b5e3408f38f—
2026-06-16T20:38:54Z2026-06-16-193644successdocs6fa5df0f09c6blessedd40948846690—
2026-06-16T17:20:24Z2026-06-16-163632successbuild—blessedc1d4f03db5b2—