{"name":"framac","version":"24.0","summary":"An 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":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"framac"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/5slz93infj4am126m0v8v06wllkya7fr-frama-c-24.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"framac"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/9l9gcamnl8w7jd30sdw61q704s8mf5h0-frama-c-24.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"framac"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/573p0qky3xdlv1km3pxij2s2ingm2dxi-frama-c-24.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3137fb373e36e39f605d44f97cb0f7807deefd1c"},"attr_path":"framac"},"last_updated":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/bfdcvkkq3r8mm3p837rvn3idpjdp2yml-frama-c-24.0","default":true}]}}}