framac 24.0
Extensible and collaborative platform dedicated to source-code analysis of C software
Linux and macOS
last changed
Pin this version
$ devbox add framac@24.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit3137fb373e36e39f605d44f97cb0f7807deefd1c
$ nix shell github:NixOS/nixpkgs/3137fb373e36e39f605d44f97cb0f7807deefd1c#framac
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
framac |
3137fb373e36 | out/nix/store/5slz93infj4am126m0v8v06wllkya7fr-frama-c-24.0 |
||
aarch64-linuxLinux · arm64 |
framac |
3137fb373e36 | out/nix/store/9l9gcamnl8w7jd30sdw61q704s8mf5h0-frama-c-24.0 |
||
x86_64-darwinmacOS · x86-64 |
framac |
3137fb373e36 | out/nix/store/573p0qky3xdlv1km3pxij2s2ingm2dxi-frama-c-24.0 |
||
x86_64-linuxLinux · x86-64 |
framac |
3137fb373e36 | out/nix/store/bfdcvkkq3r8mm3p837rvn3idpjdp2yml-frama-c-24.0 |
JSON: /v2/pkg?name=framac · /v2/resolve?name=framac&version=24.0