Profiles › full › package: goblint-cil › 2.0.6

goblint-cil.2.0.6

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-06-24T22:15:31Z2026-06-24-213246successdocs5272ffb06aa9blessed1d1d8de6d086—
2026-06-24T22:07:59Z2026-06-24-213246successdocs378e4d39725a—d7cbf344a167—
2026-06-24T21:54:44Z2026-06-24-203345successdocs5272ffb06aa9blessedb5e295df7968—
2026-06-24T21:48:05Z2026-06-24-203345successdocs378e4d39725a—77f0e463944a—
2026-06-24T17:02:05Z2026-06-24-153355successbuild—blessed6f00a1aa67c8
24 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • 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-24T17:01:07Z2026-06-24-153355successbuild—blessed48f151f8ac5d
25 deps
  • base-threads.base
  • base-unix.base
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • ppx_derivers.1.2.1
  • ppx_deriving.6.1.1
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.38.0
  • seq.base
  • sexplib0.v0.17.0
  • stdlib-shims.0.3.0
  • yojson.2.2.2
  • zarith.1.14
2026-06-23T20:41:20Z2026-06-23-193124successdocs5272ffb06aa9blessed2ac42c33bd6e—
2026-06-23T20:33:57Z2026-06-23-185007successdocs378e4d39725a—fe5ce444c726—
2026-06-23T19:42:47Z2026-06-23-173316successdocs5272ffb06aa9blessed4c1f45459389—
2026-06-23T19:27:39Z2026-06-23-173316successdocs378e4d39725a—49ee3c9ef80e—
2026-06-23T18:07:37Z2026-06-23-164340successbuild—blessed79f98db62905
25 deps
  • base-threads.base
  • base-unix.base
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ocaml-base-compiler.5.4.1
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.4.1
  • ocaml-config.3
  • ocaml.5.4.1
  • ocamlfind.1.9.8
  • ppx_derivers.1.2.1
  • ppx_deriving.6.1.1
  • ppx_deriving_yojson.3.10.0
  • ppxlib.0.38.0
  • seq.base
  • sexplib0.v0.17.0
  • stdlib-shims.0.3.0
  • yojson.2.2.2
  • zarith.1.14
2026-06-23T17:42:16Z2026-06-23-164340successbuild—blessed082624572005
24 deps
  • base-threads.base
  • base-unix.base
  • compiler-cloning.enabled
  • conf-gcc.1.0
  • conf-gmp.5
  • conf-perl.2
  • conf-pkg-config.5
  • cppo.1.8.0
  • csexp.1.5.2
  • dune-configurator.3.23.1
  • dune.3.23.1
  • ocaml-base-compiler.5.5.0
  • ocaml-compiler-libs.v0.17.0
  • ocaml-compiler.5.5.0
  • ocaml.5.5.0
  • 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:22:16Z2026-06-23-105300successdocs5272ffb06aa9blesseda462c4aba070—
2026-06-23T11:22:15Z2026-06-23-105300successdocs378e4d39725a—e4db8577fdfc—
2026-06-23T10:56:15Z2026-06-23-105300successdocs5272ffb06aa9blessed12a0951898d1—
2026-06-23T10:56:14Z2026-06-23-105300successdocs378e4d39725a—c4a7e5140db3—
2026-06-20T20:43:31Z2026-06-20-202404successdocs378e4d39725a—c1d4f77cf591—
2026-06-20T20:30:17Z2026-06-20-192413successdocs378e4d39725a—25d979070192—
2026-06-20T19:20:13Z2026-06-20-182523successbuild—blessed414270b5611f—
2026-06-20T17:17:48Z2026-06-20-162540successdocs5272ffb06aa9blessed2dbd51517310—
2026-06-20T16:53:33Z2026-06-20-153623successdocs5272ffb06aa9blessede589d25f561f—
2026-06-19T22:18:47Z2026-06-19-212218successdocsbf72e15330ff—9c007047367d—
2026-06-19T21:53:53Z2026-06-19-212218successdocsbf72e15330ff—eecbf416f65e—
2026-06-19T21:37:46Z2026-06-19-212218successdocs5272ffb06aa9blessed37669fdee062—
2026-06-19T21:25:57Z2026-06-19-202157successdocs5272ffb06aa9blessed1b07add8581e—
2026-06-19T20:10:13Z2026-06-19-192323successbuild—blessed2730c975ef01—
2026-06-16T21:18:21Z2026-06-16-203648successdocs5272ffb06aa9blessed034e13537ca4—
2026-06-16T21:18:16Z2026-06-16-203648successdocscfb63f10a0e0—d68b72b81f89—
2026-06-16T21:01:11Z2026-06-16-203648successdocs5272ffb06aa9blessed1ece6478d6a5—
2026-06-16T21:01:07Z2026-06-16-203648successdocscfb63f10a0e0—0a50c5e2e43c—
2026-06-16T17:06:42Z2026-06-16-153709successbuild—blessedd6e5bb7996df—
2026-06-16T17:05:28Z2026-06-16-153709successbuild—blessedfd2cef76c38d—