Profiles › full › package: jasmin › 2022.09.0

jasmin.2022.09.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-25T07:07:58Z2026-06-25-064654successdocs8c66e7b12ba8blesseddfa465d90583—
2026-06-24T21:31:23Z2026-06-24-203345successdocs8c66e7b12ba8blessede66811c2e19d—
2026-06-24T16:58:04Z2026-06-24-153355successbuild—blesseddd860253c73e
30 deps
  • apron.v0.9.15
  • base-threads.base
  • base-unix.base
  • batteries.3.10.0
  • bigarray-compat.1.1.0
  • camlidl.1.13-1
  • camlp-streams.5.0.1
  • conf-findutils.1
  • conf-gmp-paths.1
  • conf-gmp.5
  • conf-mpfr-paths.1
  • conf-perl.2
  • conf-pkg-config.5
  • conf-ppl.1
  • dune.3.23.1
  • ez-conf-lib.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mlgmpidl.1.3.0
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • yojson.3.0.0
  • zarith.1.14
2026-06-23T20:02:12Z2026-06-23-185007successdocs8c66e7b12ba8blessed024e60f2c6ed—
2026-06-23T18:55:39Z2026-06-23-164340successbuild—blesseda773f7298fdb
30 deps
  • apron.v0.9.15
  • base-threads.base
  • base-unix.base
  • batteries.3.10.0
  • bigarray-compat.1.1.0
  • camlidl.1.13-1
  • camlp-streams.5.0.1
  • conf-findutils.1
  • conf-gmp-paths.1
  • conf-gmp.5
  • conf-mpfr-paths.1
  • conf-perl.2
  • conf-pkg-config.5
  • conf-ppl.1
  • dune.3.23.1
  • ez-conf-lib.2
  • menhir.20260209
  • menhirCST.20260209
  • menhirGLR.20260209
  • menhirLib.20260209
  • menhirSdk.20260209
  • mlgmpidl.1.3.0
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlbuild.0.16.1
  • ocamlfind.1.9.8
  • yojson.3.0.0
  • zarith.1.14
2026-06-23T10:13:17Z2026-06-23-092928successdocs8c66e7b12ba8blessed6679e0d46f3b—
2026-06-20T19:13:24Z2026-06-20-182523successdocs8c66e7b12ba8blessed20dbfeb6a2f2—
2026-06-20T15:55:39Z2026-06-20-153623successdocs8c66e7b12ba8blessed5736c00d76be—
2026-06-19T21:06:02Z2026-06-19-202157successdocs8c66e7b12ba8blessed3f0f07d80021—
2026-06-16T20:32:01Z2026-06-16-193644successdocs8c66e7b12ba8blessed0aa2e8607abf—
2026-06-16T15:55:45Z2026-06-16-133735successbuild—blessed17b2b2174bc5—