{"name":"framac","version":"26.1","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":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f"},"attr_path":"framac"},"last_updated":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/qcw4c9vhdylax0k2n16lr07npy4dbgi9-frama-c-26.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f"},"attr_path":"framac"},"last_updated":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/jpn6yfnc0ay75z4gjrc9zdx31wpf2fb9-frama-c-26.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f"},"attr_path":"framac"},"last_updated":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/6gh3zc2nihadkl009m8rxcjzrmb8syc3-frama-c-26.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f"},"attr_path":"framac"},"last_updated":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/qdfiqggrclyx6vsa6s2qr48vm7apsdiy-frama-c-26.1","default":true}]}}}