{"name":"framac","version":"27.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":"09dc04054ba2ff1f861357d0e7e76d021b273cd7"},"attr_path":"framac"},"last_updated":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/d2mnnqjg0wnpnfni19xc8xiy80blwqr0-frama-c-27.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09dc04054ba2ff1f861357d0e7e76d021b273cd7"},"attr_path":"framac"},"last_updated":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/wn65i24pc74p2jc0gqnw9yj09hjja6f1-frama-c-27.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09dc04054ba2ff1f861357d0e7e76d021b273cd7"},"attr_path":"framac"},"last_updated":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/3flxb5mmg664hmasd3micgwasrw5jxc7-frama-c-27.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09dc04054ba2ff1f861357d0e7e76d021b273cd7"},"attr_path":"framac"},"last_updated":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/38y8lzrbjxrhdq9lpqnz1md46r00cc7p-frama-c-27.1","default":true}]}}}