ocamlPackages.frama-c 33.0 maintained
Extensible and collaborative platform dedicated to source-code analysis of C software
- Name
ocaml5.5.0-frama-c-33.0- Package set
- ocamlPackages
- Homepage
- https://www.frama-c.com/index.html
- License
- LGPL-2.1
- Main program
frama-c- Source
- pkgs/by-name/fr/frama-c/package.nix:115
- Derivation
/nix/store/pqjcg4nj3x57fa7m8sq71mnw4bkv797z-ocaml5.5.0-frama-c-33.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
- Also available as
ocamlPackages_latest.frama-c
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| luc65r | Lucas Ransan | GitHub · lucas@ransan.fr | listed on package |
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
Dependencies 14
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.camlzip 1.11 | propagatedBuildInputs | 45 | unmaintained outdated | |
| ocamlPackages.dune-site 3.23.1 | propagatedBuildInputs | 38 | unmaintained outdated | |
| ocamlPackages.menhirLib 20260203 | propagatedBuildInputs | 940 | single outdated | |
| ocamlPackages.ocamlgraph 2.2.0 | propagatedBuildInputs | 48 | unmaintained | |
| ocamlPackages.ppx_deriving 6.1.1 | propagatedBuildInputs | 150 | single outdated | |
| ocamlPackages.ppx_inline_test 0.17.1 | propagatedBuildInputs | 523 | unmaintained | |
| ocamlPackages.yaml 3.2.0 | propagatedBuildInputs | 10 | single | |
| ocamlPackages.yojson 3.0.0 | propagatedBuildInputs | 370 | single | |
| ocamlPackages.zarith 1.14 | propagatedBuildInputs | 153 | maintained | |
| ocamlPackages.zmq 5.3.0 | propagatedBuildInputs | 7 | single outdated | |
| ocamlPackages.findlib 1.9.8 | buildInputs | 1,473 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| frama-c 33.0 | other input | 4 | maintained | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 2 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.frama-c-lannotate 0.2.6 | propagatedBuildInputs | 0 | single | |
| ocamlPackages.frama-c-luncov 0.2.6 | propagatedBuildInputs | 0 | single |