Profiles › full › package: goblint-cil › 2.1.1

goblint-cil.2.1.1

Open rendered docs

History

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

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-07-28T00:17:31Z2026-07-27-215638successdocsc3f30c3a92d2blessed3db432b30f5c—
2026-07-28T00:00:32Z2026-07-27-215638successdocsc3f30c3a92d2blessed745cfcdc6a2e—
2026-07-27T22:16:27Z2026-07-27-215638successdocse99ce8d791bf—4131d228ef31—
2026-07-27T21:58:59Z2026-07-27-215638successdocse99ce8d791bf—07ece97036b0—
2026-07-27T00:29:13Z2026-07-26-224748successdocse99ce8d791bf—93b7eb5b0a40—
2026-07-27T00:28:44Z2026-07-26-224748successdocsc3f30c3a92d2blessed3237aeb386c7—
2026-07-27T00:12:11Z2026-07-26-224748successdocse99ce8d791bf—a04c06806c4d—
2026-07-27T00:11:32Z2026-07-26-224748successdocsc3f30c3a92d2blessed44208240ff98—
2026-07-26T19:00:18Z2026-07-26-105040successdocsc3f30c3a92d2blessed9f98d012f7b6—
2026-07-26T18:56:27Z2026-07-26-105040successdocse99ce8d791bf—a7633bee4e73—
2026-07-26T18:43:08Z2026-07-26-105040successdocsc3f30c3a92d2blessed8a4f40aa7935—
2026-07-26T18:38:29Z2026-07-26-105040successdocse99ce8d791bf—7963cb049033—
2026-07-26T13:25:33Z2026-07-26-105040successbuild—blessed6cc547eca352
25 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.21.1
  • dune.3.21.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.9~preview
  • ppx_derivers.1.2.1
  • ppx_deriving.6.1.3
  • 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-07-26T13:22:50Z2026-07-26-105040successbuild—blessedc5885993633d
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.24.1
  • dune.3.24.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.9~preview
  • ppx_derivers.1.2.1
  • ppx_deriving.6.1.3
  • 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-07-25T23:06:00Z2026-07-25-214525successdocs748e0bb569aablessedc716cab6eef7—
2026-07-25T22:57:42Z2026-07-25-214525successdocs748e0bb569aablessed589bf1351ed2—
2026-07-25T22:35:13Z2026-07-25-214525successdocs80c4060f794a—afcb96181d0c—
2026-07-25T22:16:56Z2026-07-25-214525successdocs80c4060f794a—033f7bbf7a2c—
2026-07-25T21:59:00Z2026-07-25-214525successbuild—blessed5725730992a8
25 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.21.1
  • dune.3.21.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.2
  • 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-07-25T21:59:00Z2026-07-25-214525successbuild—blessed2acdbbdd02c3
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.24.1
  • dune.3.24.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.2
  • 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