Profiles › full › package: goblint › 1.1.1

goblint.1.1.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-25T07:16:07Z2026-06-25-064654successdocs40f14c1052a6blessedcffee7a8c729—
2026-06-24T22:35:44Z2026-06-24-213246successdocs40f14c1052a6blessed0be19353ea2b—
2026-06-24T18:41:03Z2026-06-24-173258successbuild—blessedb40651aaf67b
40 deps
  • base-threads.base
  • base-unix.base
  • batteries.3.3.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-private-libs.3.22.2
  • dune-site.3.22.2
  • dune.3.23.1
  • dyn.3.22.2
  • fs-io.3.22.2
  • goblint-cil.1.8.2
  • num.1.6
  • ocaml-base-compiler.4.12.1
  • ocaml-compiler-libs.v0.12.4
  • ocaml-config.2
  • ocaml-monadic.0.5
  • ocaml-secondary-compiler.4.14.2
  • ocaml.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind-secondary.1.9.6
  • ocamlfind.1.9.6
  • ordering.3.22.2
  • pp.2.0.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.0.3
  • ppx_deriving_yojson.3.9.1
  • ppx_distr_guards.0.3
  • ppxlib.0.35.0
  • qcheck-core.0.91
  • sexplib0.v0.16.0
  • sha.1.15.4
  • stdlib-shims.0.3.0
  • stdune.3.22.2
  • top-closure.3.22.2
  • yojson.3.0.0
  • zarith.1.14
2026-06-24T07:48:57Z2026-06-24-074420successdocs40f14c1052a6blessedbdc2da97c432—
2026-06-23T21:00:33Z2026-06-23-193124successdocs40f14c1052a6blessed7e3f82aee5c6—
2026-06-23T20:09:24Z2026-06-23-185007successbuild—blesseda6c0d381e511
40 deps
  • base-threads.base
  • base-unix.base
  • batteries.3.3.0
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-private-libs.3.22.2
  • dune-site.3.22.2
  • dune.3.23.1
  • dyn.3.22.2
  • fs-io.3.22.2
  • goblint-cil.1.8.2
  • num.1.6
  • ocaml-base-compiler.4.12.1
  • ocaml-compiler-libs.v0.12.4
  • ocaml-config.2
  • ocaml-monadic.0.5
  • ocaml-secondary-compiler.4.14.2
  • ocaml.4.12.1
  • ocamlbuild.0.16.1
  • ocamlfind-secondary.1.9.6
  • ocamlfind.1.9.6
  • ordering.3.22.2
  • pp.2.0.0
  • ppx_derivers.1.2.1
  • ppx_deriving.6.0.3
  • ppx_deriving_yojson.3.9.1
  • ppx_distr_guards.0.3
  • ppxlib.0.35.0
  • qcheck-core.0.91
  • sexplib0.v0.16.0
  • sha.1.15.4
  • stdlib-shims.0.3.0
  • stdune.3.22.2
  • top-closure.3.22.2
  • yojson.3.0.0
  • zarith.1.14
2026-06-23T11:22:59Z2026-06-23-105300successdocs40f14c1052a6blessed9657de724acb—
2026-06-20T15:43:27Z2026-06-20-153623successdocs40f14c1052a6blessedd51c41383744—
2026-06-20T08:41:45Z2026-06-20-083553successdocs40f14c1052a6blessedeaee62364dbf—
2026-06-19T19:41:45Z2026-06-19-183411successdocs40f14c1052a6blessed50562394513b—
2026-06-18T07:41:38Z2026-06-18-073215successdocs40f14c1052a6blessed42f810661d27—
2026-06-16T21:28:37Z2026-06-16-203648successdocs40f14c1052a6blessed121123662c2f—
2026-06-16T18:08:34Z2026-06-16-163632successbuild—blessededc92cd0c268—