Profiles › odoc-master-mini › package: alt-ergo-lib › 2.6.4

alt-ergo-lib.2.6.4

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-10-24T09:51:45Z2026-10-24-093125successdocs8cd98452ae6eblessedf3508d0d835d—
2026-10-23T20:36:34Z2026-10-23-201001successdocs8cd98452ae6eblessed7fb90e579a94—
2026-10-23T20:25:09Z2026-10-23-201001successbuild—blessed5fef0f151809
41 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • cppo.1.8.0
  • dolmen.0.10
  • dolmen_loop.0.10
  • dolmen_type.0.10
  • dune-build-info.3.24.2
  • dune.3.24.2
  • fmt.0.11.0
  • gen.1.1
  • hmap.0.8.1
  • logs.0.10.0
  • menhir.20250912
  • menhirCST.20250912
  • menhirLib.20250912
  • menhirSdk.20250912
  • ocaml-base-compiler.5.5.2
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.2
  • ocaml.5.5.2
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.5.1
  • pp_loc.2.1.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppxlib.0.39.0
  • seq.base
  • sexplib0.v0.17.0
  • spelll.0.4
  • stdlib-shims.0.3.0
  • topkg.1.1.1
  • uutf.1.0.4
  • zarith.1.14
2026-10-22T17:36:49Z2026-10-22-171433successdocs51bbc4e3ebaeblessedb8a4aa9faee1—
2026-10-21T17:28:17Z2026-10-21-164626successdocs51bbc4e3ebaeblessed816b81b0b605—
2026-10-21T17:11:36Z2026-10-21-164626successbuild—blessedafd53c954d5d
41 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • cppo.1.8.0
  • dolmen.0.10
  • dolmen_loop.0.10
  • dolmen_type.0.10
  • dune-build-info.3.24.2
  • dune.3.24.2
  • fmt.0.11.0
  • gen.1.1
  • hmap.0.8.1
  • logs.0.10.0
  • menhir.20250912
  • menhirCST.20250912
  • menhirLib.20250912
  • menhirSdk.20250912
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.5.1
  • pp_loc.2.1.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppxlib.0.39.0
  • seq.base
  • sexplib0.v0.17.0
  • spelll.0.4
  • stdlib-shims.0.3.0
  • topkg.1.1.1
  • uutf.1.0.4
  • zarith.1.14
2026-10-21T14:22:52Z2026-10-21-135957successdocs51bbc4e3ebaeblessed0765ded819d1—
2026-10-14T14:28:17Z2026-10-14-140618successdocs51bbc4e3ebaeblessed2664afde94de—
2026-10-12T14:10:42Z2026-10-12-135739successdocs51bbc4e3ebaeblessed961144e08b06—
2026-10-09T16:35:45Z2026-10-09-151157successdocs51bbc4e3ebaeblessed43f70d54de11—
2026-10-08T12:17:48Z2026-10-08-115225successdocs51bbc4e3ebaeblessed50c5e84da910—
2026-10-08T12:10:48Z2026-10-08-115225successbuild—blessedbfcfee4a1c6a
41 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.2.1.1
  • compiler-cloning.enabled
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • cppo.1.8.0
  • dolmen.0.10
  • dolmen_loop.0.10
  • dolmen_type.0.10
  • dune-build-info.3.24.2
  • dune.3.24.2
  • fmt.0.11.0
  • gen.1.1
  • hmap.0.8.1
  • logs.0.10.0
  • menhir.20250912
  • menhirCST.20250912
  • menhirLib.20250912
  • menhirSdk.20250912
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.5.1
  • pp_loc.2.1.0
  • ppx_blob.0.9.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.2.0
  • ppxlib.0.39.0
  • seq.base
  • sexplib0.v0.17.0
  • spelll.0.4
  • stdlib-shims.0.3.0
  • topkg.1.1.1
  • uutf.1.0.4
  • zarith.1.14
2026-10-06T18:15:56Z2026-10-06-163534successdocs55234d2498f8blessed82df4afed46b—
2026-10-06T17:18:59Z2026-10-06-163534successbuild—blessed92ce4ce2e5cd—
2026-09-29T10:15:22Z2026-09-29-100610successdocs55234d2498f8blessedae6aa548ef40—
2026-09-28T18:08:08Z2026-09-28-175741successdocs55234d2498f8blessedd1d96b437422—
2026-09-28T15:20:12Z2026-09-28-150303successdocs55234d2498f8blessed0a967dfffc60—