frama-c 33.0 maintained
Extensible and collaborative platform dedicated to source-code analysis of C software
- Name
frama-c-33.0- Package set
- top-level
- 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/70mdcnwhp5k37r1f61jzfz44nnb9zywp-frama-c-33.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
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 28
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.apron 0.9.15 | buildInputs | 12 | single | |
| ocamlPackages.camlzip 1.11 | buildInputs | 45 | unmaintained outdated | |
| ocamlPackages.dune-configurator 3.23.1 | buildInputs | 866 | unmaintained outdated | |
| ocamlPackages.dune-site 3.23.1 | buildInputs | 38 | unmaintained outdated | |
| ocamlPackages.menhirLib 20260203 | buildInputs | 940 | single outdated | |
| ocamlPackages.ocamlgraph 2.2.0 | buildInputs | 48 | unmaintained | |
| ocamlPackages.ppx_deriving 6.1.1 | buildInputs | 150 | single outdated | |
| ocamlPackages.ppx_deriving_yaml 0.4.1 | buildInputs | 5 | unmaintained outdated | |
| ocamlPackages.ppx_deriving_yojson 3.10.0 | buildInputs | 84 | single | |
| ocamlPackages.ppx_inline_test 0.17.1 | buildInputs | 523 | unmaintained | |
| ocamlPackages.unionFind 20250818 | buildInputs | 7 | single outdated | |
| ocamlPackages.yojson 3.0.0 | buildInputs | 370 | single | |
| ocamlPackages.zarith 1.14 | buildInputs | 153 | maintained | |
| ocamlPackages.zmq 5.3.0 | buildInputs | 7 | single outdated | |
| why3 1.8.2 | buildInputs | 7 | maintained | |
| dune 3.23.1 | nativeBuildInputs | 1,402 | single outdated | |
| makeBinaryWrapper 26.05pre-git | nativeBuildInputs | 76,813 | unmaintained setup hook | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | unmaintained | |
| ocamlPackages.menhir 20260203 | nativeBuildInputs | 938 | single outdated | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| ocamlPackages.bigarray-compat 1.1.0 | other input | 91 | single | |
| ocamlPackages.mlgmpidl 1.3.0 | other input | 13 | single | |
| ocamlPackages.parsexp 0.17.0 | other input | 204 | unmaintained | |
| ocamlPackages.re 1.12.0 | other input | 842 | single outdated | |
| ocamlPackages.seq 0.1 | other input | 908 | single outdated | |
| ocamlPackages.sexplib 0.17.0 | other input | 203 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 2 directly, 4 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.frama-c 33.0 | other input | 2 | maintained | |
| frama-c-gui 33.0 | other input | 0 | single |