Profilesfullpackage: alt-ergo-free › 2.4.3

alt-ergo-free.2.4.3

No rendered docs found on disk, though the latest blessed build succeeded — the output may still be syncing.

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-09-08T18:53:49Z2026-09-08-174327successdocs5d26749493046742eaeccbc5
2026-09-08T18:53:48Z2026-09-08-174327successdocs97e46a84611b5c65e57441af
2026-09-08T18:52:06Z2026-09-08-174327successdocse2e1d93083b4047596967d17
2026-09-08T18:52:06Z2026-09-08-174327successdocs92b2acc1139dcdf8129f550d
2026-09-08T18:49:16Z2026-09-08-174327successdocs2ca9264e323cac4c86b5dfd1
2026-09-08T18:48:56Z2026-09-08-174327successdocsd5651b58ad14blessed918aad6edc1c
2026-09-08T18:46:34Z2026-09-08-174327successdocs02d51e6b7fbdfaa1b461ad7a
2026-09-08T18:42:32Z2026-09-08-174327successdocse8f822e1ca7bc0b9af6e77de
2026-09-08T18:27:46Z2026-09-08-174327successdocs734db7bbd8a736daa32c1bf8
2026-09-07T23:21:21Z2026-09-07-214511successdocs5d26749493041261be0b4ce4
2026-09-07T23:18:55Z2026-09-07-214511successdocsd5651b58ad14c47bb37d774e
2026-09-07T23:13:07Z2026-09-07-214511successdocs02d51e6b7fbdblessed0e176d3a03dd
2026-09-07T23:08:24Z2026-09-07-214511successdocse8f822e1ca7ba88f46c469e8
2026-09-07T23:06:51Z2026-09-07-214511successdocs97e46a84611b953d10fa6367
2026-09-07T23:06:31Z2026-09-07-214511successdocse2e1d93083b4c860eae84a04
2026-09-07T23:06:31Z2026-09-07-214511successdocs92b2acc1139d0f30d003a5dd
2026-09-07T23:03:21Z2026-09-07-214511successdocs2ca9264e323cafbc51b0dde6
2026-09-07T22:43:51Z2026-09-07-214511successdocs734db7bbd8a71e2a414a4320
2026-09-06T21:26:05Z2026-09-06-193832successdocs97e46a84611ba589de3804e7
2026-09-06T21:26:01Z2026-09-06-193832successdocs5d26749493049c01b30f6f19
2026-09-06T21:23:26Z2026-09-06-193832successdocs92b2acc1139d5ce5e0820887
2026-09-06T21:23:26Z2026-09-06-193832successdocse2e1d93083b47f2af3fcc915
2026-09-06T21:21:40Z2026-09-06-193832successdocsd5651b58ad14blessed4449d82ba81b
2026-09-06T21:21:03Z2026-09-06-193832successdocse8f822e1ca7bafc3d4adfc6e
2026-09-06T21:20:19Z2026-09-06-193832successdocs2ca9264e323c8d006dcadbca
2026-09-06T21:15:11Z2026-09-06-193832successdocs02d51e6b7fbd38a04d96de1b
2026-09-06T20:56:46Z2026-09-06-193832successdocs734db7bbd8a7d0fc8daab937
2026-09-04T21:01:34Z2026-09-04-173559successdocs5d2674949304999cdde6a75f
2026-09-04T20:58:07Z2026-09-04-173559successdocse8f822e1ca7bd93adb41c07f
2026-09-04T20:56:17Z2026-09-04-173559successdocs97e46a84611b12cea1d8b9f9
2026-09-04T20:55:34Z2026-09-04-173559successdocse2e1d93083b4403580db2ad9
2026-09-04T20:55:34Z2026-09-04-173559successdocs92b2acc1139d429c4a554a14
2026-09-04T20:54:14Z2026-09-04-173559successdocs2ca9264e323c0f1cc0cdcc29
2026-09-04T20:52:16Z2026-09-04-173559successdocsd5651b58ad14blessed0fd936e3e5c6
2026-09-04T20:48:18Z2026-09-04-173559successdocs02d51e6b7fbd5275ec67bdb9
2026-09-04T20:37:18Z2026-09-04-173559successdocs734db7bbd8a7a798a873480a
2026-09-04T18:28:20Z2026-09-04-173559successbuildblessedce2815a2476e
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-04T18:14:47Z2026-09-04-153617successbuildblessedb68804c0f159
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.1
  • ocaml-compiler.5.5.1
  • ocaml.5.5.1
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-04T02:57:59Z2026-09-03-223036successdocs91f91dca9cf6031c9f96a8cc
2026-09-04T02:56:12Z2026-09-03-223036successdocs849d16c51e04blessed826f62bc93bc
2026-09-04T02:55:53Z2026-09-03-223036successdocs97e46a84611bbea5f8af2baf
2026-09-04T02:55:30Z2026-09-03-223036successdocse2e1d93083b40d93d2857414
2026-09-04T02:55:30Z2026-09-03-223036successdocs92b2acc1139d5420a27e75b7
2026-09-04T02:53:46Z2026-09-03-223036successdocs5d26749493046076fcaf6661
2026-09-04T02:52:14Z2026-09-03-223036successdocse8f822e1ca7b050ce5e0c2cd
2026-09-04T02:48:01Z2026-09-03-223036successdocs2ca9264e323cdf646e5aabe2
2026-09-04T02:33:30Z2026-09-03-223036successdocs734db7bbd8a77adb70668f0e
2026-09-03T22:47:27Z2026-09-03-173109successbuildblessedcc68a8aac59d
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • 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
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T22:34:17Z2026-09-03-173109successbuildblessede7e82ee84de2
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T22:17:27Z2026-09-03-173109successbuildblessed03cb52299a38
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • ocamlfind.1.9.9~preview
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T22:05:16Z2026-09-03-173109successbuildblessed8072fe441747
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T22:03:38Z2026-09-03-173109successbuildblessedf2ea856152a3
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.7-1
2026-09-03T22:03:38Z2026-09-03-173109successbuildblessed435c8bbf701f
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T21:29:28Z2026-09-03-173109successbuildblesseddcb967ccc89a
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.11
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.22.2
  • dune-configurator.3.22.2
  • dune.3.22.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.4.12.1
  • ocaml-config.2
  • ocaml.4.12.1
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T20:21:02Z2026-09-03-173109successbuildblessed5d67114b5e77
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.23.1
  • dune-configurator.3.23.1
  • dune.3.23.1
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • num.1.6
  • ocaml-base-compiler.5.2.1
  • ocaml-config.3
  • ocaml.5.2.1
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-09-03T20:06:22Z2026-09-03-173109successbuildblessedc1718f2ad2e4
24 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.1
  • conf-gmp.5
  • conf-pkg-config.5
  • conf-zlib.1
  • csexp.1.5.2
  • dune-build-info.3.24.2
  • dune-configurator.3.24.2
  • dune.3.24.2
  • menhir.20190924
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14