{"name":"framac","version":"29.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":"212518a3623f5451efad314323e2c6b847eab45a"},"attr_path":"framac"},"last_updated":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/nx0bh5x35x14rkhijg5r1wclpfx7x4wf-frama-c-29.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"212518a3623f5451efad314323e2c6b847eab45a"},"attr_path":"framac"},"last_updated":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/5m4d9ml6jcqdslz4ajx9hj5r7jqy0553-frama-c-29.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ed0b1881565c1ffef490c10d663d4f542031dad3"},"attr_path":"framac"},"last_updated":"2025-03-08T03:02:36Z","outputs":[{"name":"out","path":"/nix/store/m69ifvb0j38147zqbcgh2sjq6x7d4dal-frama-c-29.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"212518a3623f5451efad314323e2c6b847eab45a"},"attr_path":"framac"},"last_updated":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/1kimj90pri7wgdp6nfk74zfxps2irgif-frama-c-29.0","default":true}]}}}