{"name":"ocamlPackages.frama-c","version":"32.1","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":"91cc1fdf6831e29b6c98768e721a72241f3d0797"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/2sm86rgbx72ng8l3rawqml3qjggf3p6f-ocaml5.4.1-frama-c-32.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"91cc1fdf6831e29b6c98768e721a72241f3d0797"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/868ga9a4266x8h39d820901mr500fgkq-ocaml5.4.1-frama-c-32.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/728kwcpsm6y3kb3qvpw3vngjygww81ik-ocaml5.4.1-frama-c-32.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"91cc1fdf6831e29b6c98768e721a72241f3d0797"},"attr_path":"ocamlPackages.frama-c"},"last_updated":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/52h2my9n7jvgl0ifl75cyi6czp8rp46s-ocaml5.4.1-frama-c-32.1","default":true}]}}}