ocamlPackages.goblint-cil 2.1.1 single
Front-end for the C programming language that facilitates program analysis and transformation
- Name
ocaml5.5.0-goblint-cil-2.1.1- Package set
- ocamlPackages
- Homepage
- https://goblint.github.io/cil/
- License
- BSD-3-Clause
- Source
- pkgs/development/ocaml-modules/goblint-cil/default.nix:51
- Derivation
/nix/store/wlrkskpdzhp63dglqgd2cxs8acg3dl7d-ocaml5.5.0-goblint-cil-2.1.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
- Also available as
ocamlPackages_latest.goblint-cil
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| sempiternal-aurora | Myria Sarvay | GitHub · myrialsarvay@gmail.com | listed on package |
Dependencies 14
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.dune-configurator 3.23.1 | propagatedBuildInputs | 866 | unmaintained outdated | |
| ocamlPackages.findlib 1.9.8 | propagatedBuildInputs | 1,473 | unmaintained | |
| ocamlPackages.ppx_deriving_yojson 3.10.0 | propagatedBuildInputs | 84 | single | |
| ocamlPackages.stdlib-shims 0.3.0 | propagatedBuildInputs | 910 | single | |
| ocamlPackages.yojson 3.0.0 | propagatedBuildInputs | 370 | single | |
| ocamlPackages.zarith 1.14 | propagatedBuildInputs | 153 | maintained | |
| perl 5.42.3 | propagatedBuildInputs | 80,092 | team-only outdated | |
| dune 3.23.1 | nativeBuildInputs | 1,402 | single outdated | |
| gcc 16.2.0 | nativeBuildInputs | 102,154 | team-only | |
| hevea 2.38 | nativeBuildInputs | 10 | single | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.cppo 1.8.0 | nativeBuildInputs | 505 | single | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.superbol-studio-oss 1.0.0 | propagatedBuildInputs | 0 | maintained |