nixsearch / pkg / ocamlPackages.frama-c
ocamlPackages.frama-c
Extensible and collaborative platform dedicated to source-code analysis of C software
version33.0
attributeocamlPackages.frama-c
revf45c6f04c2f013f004bf94e284e95d72898d9393 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add ocamlPackages.frama-c@33.0
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#ocamlPackages.frama-c
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 33.0resolved | ✓ | ✓ | – | ✓ | ocamlPackages.frama-c |
79b6d20e55 | ||
| 32.1 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.frama-c |
varies | ||
| 31.0 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.frama-c |
d99b013d5d |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.