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

coq-waterproof.3.1.0+9.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T20:58:00Z2026-06-24-203345successdocse0db3600efddblessed5db13c104e65—
2026-06-24T18:06:43Z2026-06-24-163243successbuild—blessed7aa91a91d0ab
19 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.9.1.1
  • coq-stdlib.9.0.0
  • coq.9.1.1
  • coqide-server.9.1.1
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • rocq-core.9.1.1
  • rocq-runtime.9.1.1
  • rocq-stdlib.9.0.0
  • zarith.1.14
2026-06-23T22:43:45Z2026-06-23-215418successdocse0db3600efddblessed1caee37e10e3—
2026-06-23T22:19:50Z2026-06-23-203059successbuild—blessed948afeba4746
19 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-linux-libc-dev.0
  • conf-pkg-config.5
  • coq-core.9.1.1
  • coq-stdlib.9.0.0
  • coq.9.1.1
  • coqide-server.9.1.1
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.8
  • rocq-core.9.1.1
  • rocq-runtime.9.1.1
  • rocq-stdlib.9.0.0
  • zarith.1.14
2026-06-23T10:08:03Z2026-06-23-092928successdocse0db3600efddblesseda804ad194f7d—
2026-06-20T20:11:30Z2026-06-20-192413successdocse0db3600efddblessed51c334b62fca—
2026-06-20T19:54:31Z2026-06-20-192413successbuild—blesseda1023e61254f—
2026-06-19T21:34:31Z2026-06-19-202157successdocs6a239040d6f8blessed321a8b102317—
2026-06-19T20:43:09Z2026-06-19-192323successbuild—blessedf26b15629f4a—
2026-06-16T20:18:33Z2026-06-16-193644successdocs56cbe0fe8854blessed9b21d136470c—
2026-06-16T18:21:42Z2026-06-16-173722successbuild—blessed6f05aa7177cc—