Profiles › full › package: coq-waterproof › 3.1.0+9.0

coq-waterproof.3.1.0+9.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:05:29Z2026-06-24-203345successdocs93d143f93f18blessed22f00a7b49b8—
2026-06-24T18:47:14Z2026-06-24-173258successbuild—blessed85375f72ffae
20 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.9.0.1
  • coq-stdlib.9.0.0
  • coq.9.0.1
  • coqide-server.9.0.1
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-prover.9.0.0
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.0.0
  • zarith.1.14
2026-06-23T23:03:25Z2026-06-23-223106successdocs93d143f93f18blesseda4092a914d6f—
2026-06-23T22:44:50Z2026-06-23-215418successbuild—blessed4edb28a61263
20 deps
  • base-threads.base
  • base-unix.base
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.9.0.1
  • coq-stdlib.9.0.0
  • coq.9.0.1
  • coqide-server.9.0.1
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • rocq-core.9.0.1
  • rocq-prover.9.0.0
  • rocq-runtime.9.0.1
  • rocq-stdlib.9.0.0
  • zarith.1.14
2026-06-23T10:12:50Z2026-06-23-092928successdocs93d143f93f18blessedc2751b6f50b5—
2026-06-20T19:15:56Z2026-06-20-182523successdocs93d143f93f18blessed0cbe505b5d87—
2026-06-20T15:58:45Z2026-06-20-153623successdocs93d143f93f18blessed7589d65c3bad—
2026-06-19T20:25:19Z2026-06-19-192323successdocs93d143f93f18blessed9389e02b3171—
2026-06-16T20:18:33Z2026-06-16-193644successdocs93d143f93f18blessedd60b42bf19ef—
2026-06-16T18:22:10Z2026-06-16-173722successbuild—blessede307cee5d6fd—