{"name":"framac","version":"25.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":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b"},"attr_path":"framac"},"last_updated":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/j5ysgj1gvicby6c8sahym2kbpa994l1l-frama-c-25.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b"},"attr_path":"framac"},"last_updated":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/7925mzwwp2v7fzwy3h761s4w81l1y763-frama-c-25.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b"},"attr_path":"framac"},"last_updated":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/ndfqdb6gblbg382lxg0b5bfhndsx8zic-frama-c-25.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b"},"attr_path":"framac"},"last_updated":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/xcsb66hy6zhdml1b0xh8h1dffn5270qj-frama-c-25.0","default":true}]}}}