framac 26.1
Extensible and collaborative platform dedicated to source-code analysis of C software
Linux and macOS
last changed
Pin this version
$ devbox add framac@26.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitdb8672b8d0a2593c2405aed0c1dfa64b2a2f428f
$ nix shell github:NixOS/nixpkgs/db8672b8d0a2593c2405aed0c1dfa64b2a2f428f#framac
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
framac |
db8672b8d0a2 | out/nix/store/qcw4c9vhdylax0k2n16lr07npy4dbgi9-frama-c-26.1 |
||
aarch64-linuxLinux · arm64 |
framac |
db8672b8d0a2 | out/nix/store/jpn6yfnc0ay75z4gjrc9zdx31wpf2fb9-frama-c-26.1 |
||
x86_64-darwinmacOS · x86-64 |
framac |
db8672b8d0a2 | out/nix/store/6gh3zc2nihadkl009m8rxcjzrmb8syc3-frama-c-26.1 |
||
x86_64-linuxLinux · x86-64 |
framac |
db8672b8d0a2 | out/nix/store/qdfiqggrclyx6vsa6s2qr48vm7apsdiy-frama-c-26.1 |
JSON: /v2/pkg?name=framac · /v2/resolve?name=framac&version=26.1