Profiles › full › package: alt-ergo-free › 2.4.3

alt-ergo-free.2.4.3

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T21:30:52Z2026-06-24-203345successdocs3604a408ddde—6a84034b2ac0—
2026-06-24T21:30:08Z2026-06-24-203345successdocs464cacde8828—b3988f44e3a7—
2026-06-24T21:27:41Z2026-06-24-203345successdocs11ea34f05f2a—cc1b890f3b8b—
2026-06-24T21:25:37Z2026-06-24-203345successdocsf7be711792d9blessedeaaae5adbed7—
2026-06-24T21:25:00Z2026-06-24-203345successdocs6043c85bb7cb—1a6ce97bb153—
2026-06-24T21:25:00Z2026-06-24-203345successdocsaa60769c13c2—8553369e2780—
2026-06-24T21:04:51Z2026-06-24-203345successdocs0884b4dc2120—7fab7570f6ab—
2026-06-24T16:29:19Z2026-06-24-135303successbuild—blessed9d6b0af30e70
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-24T16:26:03Z2026-06-24-135303successbuild—blessed0354a3428b1a
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.0.2
  • 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.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-24T16:02:05Z2026-06-24-135303successbuild—blessed061b450b0efd
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.11
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-24T15:50:28Z2026-06-24-135303successbuild—blessedfedba2502b8f
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-perl.2
  • 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.7-1
2026-06-24T14:12:57Z2026-06-24-135303successbuild—blessedb06c94a7f090
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-24T14:04:25Z2026-06-24-135303successbuild—blessed00609c9ebfdf
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-24T13:25:46Z2026-06-24-113204successbuild—blesseded30bfcc0fa3
24 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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.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
2026-06-23T20:15:50Z2026-06-23-185007successdocs11ea34f05f2a—db8e9d57af3a—
2026-06-23T20:15:50Z2026-06-23-185007successdocs464cacde8828—63c006b4171d—
2026-06-23T20:12:33Z2026-06-23-185007successdocsf7be711792d9blessedff785857f368—
2026-06-23T20:11:13Z2026-06-23-185007successdocs3604a408ddde—4c569ed7b960—
2026-06-23T20:01:13Z2026-06-23-185007successdocs0884b4dc2120—37e529adb0c4—
2026-06-23T20:01:10Z2026-06-23-185007successdocs6043c85bb7cb—e657c5a228e6—
2026-06-23T19:56:46Z2026-06-23-173316successdocsaa60769c13c2—a858445a452f—
2026-06-23T19:11:41Z2026-06-23-164340successbuild—blesseda02feb70df6b
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-23T19:11:33Z2026-06-23-164340successbuild—blessedc5fb8627a1d4
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-23T19:03:56Z2026-06-23-164340successbuild—blessedab6667d7e7dc
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • compiler-cloning.enabled
  • conf-autoconf.0.2
  • 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.8
  • ocplib-simplex.0.4.1
  • psmt2-frontend.0.4.0
  • seq.base
  • stdlib-shims.0.3.0
  • zarith.1.14
2026-06-23T19:03:43Z2026-06-23-164340successbuild—blessed767a87c51c79
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.11
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-23T18:51:03Z2026-06-23-164340successbuild—blessed271a30d433c7
24 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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.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
2026-06-23T18:18:42Z2026-06-23-164340successbuild—blessedfb7aa68813a4
27 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • 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-06-23T18:18:05Z2026-06-23-164340successbuild—blessedea875c61d9ac
28 deps
  • base-threads.base
  • base-unix.base
  • camlzip.1.14
  • cmdliner.1.3.0
  • conf-autoconf.0.2
  • conf-gmp.5
  • conf-perl.2
  • 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.7-1
2026-06-23T10:22:12Z2026-06-23-092928successdocs464cacde8828—91a5efb85f9f—
2026-06-23T10:18:39Z2026-06-23-092928successdocsf7be711792d9blessedb06f9da98970—
2026-06-23T10:14:54Z2026-06-23-092928successdocs11ea34f05f2a—f267391e52c6—
2026-06-23T10:14:08Z2026-06-23-092928successdocs3604a408ddde—a128ae3bf421—
2026-06-23T10:13:12Z2026-06-23-092928successdocs6043c85bb7cb—b11befd0cc74—
2026-06-23T10:13:11Z2026-06-23-092928successdocsaa60769c13c2—28a556c5cf83—
2026-06-23T09:53:30Z2026-06-23-092928successdocs0884b4dc2120—3a018733ced6—
2026-06-20T20:19:18Z2026-06-20-192413successdocsf7be711792d9blessed505bba04ac18—
2026-06-20T19:03:18Z2026-06-20-182523successbuild—blessed53087d54b170—
2026-06-20T15:58:39Z2026-06-20-153623successdocsf526fe0a9b40—cb8f67c8d180—
2026-06-19T21:41:11Z2026-06-19-212218successdocs6d561bbfc9ae—51dc57f7143c—
2026-06-19T21:06:38Z2026-06-19-202157successdocsf526fe0a9b40blessed96c74798c2bc—
2026-06-19T21:05:33Z2026-06-19-202157successdocs6043c85bb7cb—4edcf2d2b658—
2026-06-19T21:05:33Z2026-06-19-202157successdocsaa60769c13c2—e4bce3a852ce—
2026-06-19T20:50:54Z2026-06-19-202157successdocs0884b4dc2120—612430c7e535—
2026-06-19T19:54:18Z2026-06-19-183411successbuild—blessed6706af6eeb13—
2026-06-16T20:41:27Z2026-06-16-193644successdocsf526fe0a9b40blessed6f62ef16ea92—
2026-06-16T20:36:50Z2026-06-16-193644successdocs464cacde8828—559bfe12015a—
2026-06-16T20:34:41Z2026-06-16-193644successdocs3604a408ddde—442e71bab82e—
2026-06-16T20:33:16Z2026-06-16-193644successdocs11ea34f05f2a—025c4302df42—
2026-06-16T20:31:45Z2026-06-16-193644successdocs6043c85bb7cb—db6f318c65d5—
2026-06-16T20:31:45Z2026-06-16-193644successdocsaa60769c13c2—dd0eb80b6349—
2026-06-16T20:12:21Z2026-06-16-193644successdocs0884b4dc2120—f15d669f3042—
2026-06-16T16:40:28Z2026-06-16-153709successbuild—blessedbdee0ab8465e—
2026-06-16T16:26:57Z2026-06-16-143732successbuild—blessedf0596d4f6c7c—
2026-06-16T14:27:23Z2026-06-16-123625successbuild—blessed75fd7ded1bf0—
2026-06-16T14:20:48Z2026-06-16-123625successbuild—blessede6cbaa8e34b3—
2026-06-16T14:20:48Z2026-06-16-123625successbuild—blessed35d564155bba—
2026-06-16T14:10:00Z2026-06-16-123625successbuild—blessed9446086e7096—
2026-06-16T12:49:31Z2026-06-16-113640successbuild—blesseddf165b1c69f1—