Profiles › full › package: goblint-cil › 1.8.0

goblint-cil.1.8.0

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T22:11:31Z2026-06-24-213246successdocs3bfed862ffb0blessedbe5245214bdf—
2026-06-24T21:51:02Z2026-06-24-203345successdocs3bfed862ffb0blessed4c0b554a92ee—
2026-06-24T16:48:27Z2026-06-24-145311successbuild—blessed48675f9ed197
23 deps
  • base-threads.base
  • base-unix.base
  • batteries.3.10.0
  • camlp-streams.5.0.1
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-compiler-libs.v0.12.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ppx_derivers.1.2.1
  • ppx_deriving.6.1.1
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.38.0
  • sexplib0.v0.17.0
  • stdlib-shims.0.3.0
  • yojson.3.0.0
  • zarith.1.14
2026-06-23T20:53:54Z2026-06-23-193124successdocs3bfed862ffb0blessed0c80c3bd3944—
2026-06-23T20:01:17Z2026-06-23-185007successdocs3bfed862ffb0blessed5cbf4479a96d—
2026-06-23T18:45:44Z2026-06-23-164340successbuild—blessed4229d919dc25
23 deps
  • base-threads.base
  • base-unix.base
  • batteries.3.10.0
  • camlp-streams.5.0.1
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • dune.3.23.1
  • num.1.6
  • ocaml-base-compiler.4.14.4
  • ocaml-compiler-libs.v0.12.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlfind.1.9.8
  • ppx_derivers.1.2.1
  • ppx_deriving.6.1.1
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.38.0
  • sexplib0.v0.17.0
  • stdlib-shims.0.3.0
  • yojson.3.0.0
  • zarith.1.14
2026-06-23T11:20:38Z2026-06-23-105300successdocs3bfed862ffb0blessed53dfac374093—
2026-06-23T10:35:56Z2026-06-23-092928successdocs3bfed862ffb0blessedb6dad69b35e8—
2026-06-19T21:36:53Z2026-06-19-202157successdocs3bfed862ffb0blessedeb4107f67299—
2026-06-19T21:20:08Z2026-06-19-202157successdocs3bfed862ffb0blessed40b718f56f45—
2026-06-16T21:10:18Z2026-06-16-203648successdocs3bfed862ffb0blessedd5d352298e36—
2026-06-16T20:53:39Z2026-06-16-193644successdocs3bfed862ffb0blessed0af4fc56668b—
2026-06-16T16:04:22Z2026-06-16-133735successbuild—blessed7ece0291bcaf—