Profilesfullpackage: 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-203345successdocs3604a408ddde6a84034b2ac0
2026-06-24T21:30:08Z2026-06-24-203345successdocs464cacde8828b3988f44e3a7
2026-06-24T21:27:41Z2026-06-24-203345successdocs11ea34f05f2acc1b890f3b8b
2026-06-24T21:25:37Z2026-06-24-203345successdocsf7be711792d9blessedeaaae5adbed7
2026-06-24T21:25:00Z2026-06-24-203345successdocs6043c85bb7cb1a6ce97bb153
2026-06-24T21:25:00Z2026-06-24-203345successdocsaa60769c13c28553369e2780
2026-06-24T21:04:51Z2026-06-24-203345successdocs0884b4dc21207fab7570f6ab
2026-06-24T16:29:19Z2026-06-24-135303successbuildblessed9d6b0af30e70
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-135303successbuildblessed0354a3428b1a
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-135303successbuildblessed061b450b0efd
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-135303successbuildblessedfedba2502b8f
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-135303successbuildblessedb06c94a7f090
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-135303successbuildblessed00609c9ebfdf
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-113204successbuildblesseded30bfcc0fa3
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-185007successdocs11ea34f05f2adb8e9d57af3a
2026-06-23T20:15:50Z2026-06-23-185007successdocs464cacde882863c006b4171d
2026-06-23T20:12:33Z2026-06-23-185007successdocsf7be711792d9blessedff785857f368
2026-06-23T20:11:13Z2026-06-23-185007successdocs3604a408ddde4c569ed7b960
2026-06-23T20:01:13Z2026-06-23-185007successdocs0884b4dc212037e529adb0c4
2026-06-23T20:01:10Z2026-06-23-185007successdocs6043c85bb7cbe657c5a228e6
2026-06-23T19:56:46Z2026-06-23-173316successdocsaa60769c13c2a858445a452f
2026-06-23T19:11:41Z2026-06-23-164340successbuildblesseda02feb70df6b
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-164340successbuildblessedc5fb8627a1d4
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-164340successbuildblessedab6667d7e7dc
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-164340successbuildblessed767a87c51c79
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-164340successbuildblessed271a30d433c7
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-164340successbuildblessedfb7aa68813a4
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-164340successbuildblessedea875c61d9ac
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-092928successdocs464cacde882891a5efb85f9f
2026-06-23T10:18:39Z2026-06-23-092928successdocsf7be711792d9blessedb06f9da98970
2026-06-23T10:14:54Z2026-06-23-092928successdocs11ea34f05f2af267391e52c6
2026-06-23T10:14:08Z2026-06-23-092928successdocs3604a408dddea128ae3bf421
2026-06-23T10:13:12Z2026-06-23-092928successdocs6043c85bb7cbb11befd0cc74
2026-06-23T10:13:11Z2026-06-23-092928successdocsaa60769c13c228a556c5cf83
2026-06-23T09:53:30Z2026-06-23-092928successdocs0884b4dc21203a018733ced6
2026-06-20T20:19:18Z2026-06-20-192413successdocsf7be711792d9blessed505bba04ac18
2026-06-20T19:03:18Z2026-06-20-182523successbuildblessed53087d54b170
2026-06-20T15:58:39Z2026-06-20-153623successdocsf526fe0a9b40cb8f67c8d180
2026-06-19T21:41:11Z2026-06-19-212218successdocs6d561bbfc9ae51dc57f7143c
2026-06-19T21:06:38Z2026-06-19-202157successdocsf526fe0a9b40blessed96c74798c2bc
2026-06-19T21:05:33Z2026-06-19-202157successdocs6043c85bb7cb4edcf2d2b658
2026-06-19T21:05:33Z2026-06-19-202157successdocsaa60769c13c2e4bce3a852ce
2026-06-19T20:50:54Z2026-06-19-202157successdocs0884b4dc2120612430c7e535
2026-06-19T19:54:18Z2026-06-19-183411successbuildblessed6706af6eeb13
2026-06-16T20:41:27Z2026-06-16-193644successdocsf526fe0a9b40blessed6f62ef16ea92
2026-06-16T20:36:50Z2026-06-16-193644successdocs464cacde8828559bfe12015a
2026-06-16T20:34:41Z2026-06-16-193644successdocs3604a408ddde442e71bab82e
2026-06-16T20:33:16Z2026-06-16-193644successdocs11ea34f05f2a025c4302df42
2026-06-16T20:31:45Z2026-06-16-193644successdocs6043c85bb7cbdb6f318c65d5
2026-06-16T20:31:45Z2026-06-16-193644successdocsaa60769c13c2dd0eb80b6349
2026-06-16T20:12:21Z2026-06-16-193644successdocs0884b4dc2120f15d669f3042
2026-06-16T16:40:28Z2026-06-16-153709successbuildblessedbdee0ab8465e
2026-06-16T16:26:57Z2026-06-16-143732successbuildblessedf0596d4f6c7c
2026-06-16T14:27:23Z2026-06-16-123625successbuildblessed75fd7ded1bf0
2026-06-16T14:20:48Z2026-06-16-123625successbuildblessede6cbaa8e34b3
2026-06-16T14:20:48Z2026-06-16-123625successbuildblessed35d564155bba
2026-06-16T14:10:00Z2026-06-16-123625successbuildblessed9446086e7096
2026-06-16T12:49:31Z2026-06-16-113640successbuildblesseddf165b1c69f1