{"name":"framac","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":"framac"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/pw0c1fg3fz5bghk8wjd69mk2bq9mrz0w-frama-c-31.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"framac"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/8mviplagkcbddwnrnwqhmy3cfsapjh10-frama-c-31.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"framac"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/2ih28mrn81zf0jrms59zhvzmmk4kx7md-frama-c-31.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d99b013d5d1931ad77fe3912ed218170dec5d9a4"},"attr_path":"framac"},"last_updated":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/cl35s779y7fhh1y809jqha15q0fng7g7-frama-c-31.0","default":true}]}}}