{"name":"ocamlPackages.frama-c","version":"31.0","summary":"Extensible and collaborative platform dedicated to source-code analysis of C software","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/1kl9ndzzh6klp3h582mq7xb4zfn8g2pm-ocaml5.4.1-frama-c-31.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/04y8mv5vwnfj6n38pgxd5i2yvibv8mbx-ocaml5.4.1-frama-c-31.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/2hk20yx6f2jqff2r719iyzanjsrdd73p-ocaml5.4.1-frama-c-31.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/yy7awpzkmx9sq4vs2frjdk57ycs88q16-ocaml5.4.1-frama-c-31.0","default":true}]}}}