nixsearch
nixsearch / pkg / ocamlPackages.frama-c / 33.0

ocamlPackages.frama-c 33.0

Extensible and collaborative platform dedicated to source-code analysis of C software
Linux and macOS (Apple Silicon only) last changed

Pin this version

$ devbox add ocamlPackages.frama-c@33.0
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.frama-c

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.frama-c b6c8664de9b6
out
/nix/store/mv47sbgcl6afr2qv5mqly2gnby681jb3-ocaml5.5.0-frama-c-33.0
aarch64-linux
Linux · arm64		 ocamlPackages.frama-c b6c8664de9b6
out
/nix/store/8wyp1mfv9gncrmndnsymxj3pqaxc7c0j-ocaml5.5.0-frama-c-33.0
x86_64-linux
Linux · x86-64		 ocamlPackages.frama-c b6c8664de9b6
out
/nix/store/2i9xnfnwdmqlvqjwyj3p1fjgddzlpi4g-ocaml5.5.0-frama-c-33.0
all 3 releases older: 32.1 →

JSON: /v2/pkg?name=ocamlPackages.frama-c · /v2/resolve?name=ocamlPackages.frama-c&version=33.0