Profiles › full › package: why3-coq › 1.8.1

why3-coq.1.8.1

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-123844successdocs7db7f859544fblessedf7337815143d—
2026-06-24T21:30:07Z2026-06-24-203345successdocs7db7f859544fblessedd2142a5908cd—
2026-06-24T17:19:40Z2026-06-24-153355successbuild—blesseda7cd6ccc11ed
22 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coq.8.20.1
  • coqide-server.8.20.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • why3.1.8.1
  • zarith.1.14
2026-06-23T21:51:12Z2026-06-23-203059successdocs7db7f859544fblessed5aa7fea24be1—
2026-06-23T21:03:49Z2026-06-23-193124successbuild—blessed0a08d0d152ee
22 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.8.20.1
  • coq-stdlib.8.20.1
  • coq.8.20.1
  • coqide-server.8.20.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • ocaml-base-compiler.5.3.0
  • ocaml-compiler.5.3.0
  • ocaml-config.3
  • ocaml.5.3.0
  • ocamlfind.1.9.8
  • why3.1.8.1
  • zarith.1.14
2026-06-23T10:22:16Z2026-06-23-092928successdocs7db7f859544fblessed4461f9a9947c—
2026-06-20T15:46:38Z2026-06-20-153623successdocs7db7f859544fblessed9af4f8a83745—
2026-06-19T20:07:04Z2026-06-19-192323successdocs7db7f859544fblessed7ae81c9f4ab3—
2026-06-16T20:38:54Z2026-06-16-193644successdocs7db7f859544fblessed03671a8bef63—
2026-06-16T17:20:23Z2026-06-16-163632successbuild—blessedb7d14d561af7—