nixsearch
nixsearch / pkg / framac / 28.1

framac 28.1

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

Pin this version

$ devbox add framac@28.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit61684d356e41c97f80087e89659283d00fe032ab 
$ nix shell github:NixOS/nixpkgs/61684d356e41c97f80087e89659283d00fe032ab#framac
systemsx86_64-darwin commit1afc5440469f94e7ed26e8648820971b102afdc3 
$ nix shell github:NixOS/nixpkgs/1afc5440469f94e7ed26e8648820971b102afdc3#framac

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 framac 61684d356e41
out
/nix/store/b3m9nnh5fgppzqwm2qzgy4d4rbk20z6p-frama-c-28.1
aarch64-linux
Linux · arm64		 framac 61684d356e41
out
/nix/store/chxkxbmaqnfxph20wh9lldd96a5j28cr-frama-c-28.1
x86_64-darwin
macOS · x86-64		 framac 1afc5440469f
out
/nix/store/67bshq23b0hkhzhjjjryrv7zj22lcqgf-frama-c-28.1
x86_64-linux
Linux · x86-64		 framac 61684d356e41
out
/nix/store/m3jyx27zq8fn846cghfp15xx4xqdpz6p-frama-c-28.1
← newer: 29.0 all 16 releases older: 28.0 →

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