nixsearch
nixsearch / pkg / framac / 29.0

framac 29.0

Extensible and collaborative platform dedicated to source-code analysis of C software
Linux and macOS last changed

Pin this version

$ devbox add framac@29.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit212518a3623f5451efad314323e2c6b847eab45a 
$ nix shell github:NixOS/nixpkgs/212518a3623f5451efad314323e2c6b847eab45a#framac
systemsx86_64-darwin commited0b1881565c1ffef490c10d663d4f542031dad3 
$ nix shell github:NixOS/nixpkgs/ed0b1881565c1ffef490c10d663d4f542031dad3#framac

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 framac 212518a3623f
out
/nix/store/nx0bh5x35x14rkhijg5r1wclpfx7x4wf-frama-c-29.0
aarch64-linux
Linux · arm64		 framac 212518a3623f
out
/nix/store/5m4d9ml6jcqdslz4ajx9hj5r7jqy0553-frama-c-29.0
x86_64-darwin
macOS · x86-64		 framac ed0b1881565c
out
/nix/store/m69ifvb0j38147zqbcgh2sjq6x7d4dal-frama-c-29.0
x86_64-linux
Linux · x86-64		 framac 212518a3623f
out
/nix/store/1kimj90pri7wgdp6nfk74zfxps2irgif-frama-c-29.0
← newer: 30.0 all 16 releases older: 28.1 →

JSON: /v2/pkg?name=framac · /v2/resolve?name=framac&version=29.0