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

ocamlPackages.frama-c 32.1

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

Pin this version

$ devbox add ocamlPackages.frama-c@32.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commit91cc1fdf6831e29b6c98768e721a72241f3d0797 
$ nix shell github:NixOS/nixpkgs/91cc1fdf6831e29b6c98768e721a72241f3d0797#ocamlPackages.frama-c
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#ocamlPackages.frama-c

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.frama-c 91cc1fdf6831
out
/nix/store/2sm86rgbx72ng8l3rawqml3qjggf3p6f-ocaml5.4.1-frama-c-32.1
aarch64-linux
Linux · arm64		 ocamlPackages.frama-c 91cc1fdf6831
out
/nix/store/868ga9a4266x8h39d820901mr500fgkq-ocaml5.4.1-frama-c-32.1
x86_64-darwin
macOS · x86-64		 ocamlPackages.frama-c 05988b07fb05
out
/nix/store/728kwcpsm6y3kb3qvpw3vngjygww81ik-ocaml5.4.1-frama-c-32.1
x86_64-linux
Linux · x86-64		 ocamlPackages.frama-c 91cc1fdf6831
out
/nix/store/52h2my9n7jvgl0ifl75cyi6czp8rp46s-ocaml5.4.1-frama-c-32.1
← newer: 33.0 all 3 releases older: 31.0 →

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