{"name":"ocamlPackages.frama-c","summary":"Extensible and collaborative platform dedicated to source-code analysis of C software","description":"Frama-C is an open-source extensible and collaborative platform\ndedicated to source-code analysis of C software. The Frama-C\nanalyzers assist you in various source-code-related activities,\nfrom the navigation through unfamiliar projects up to the\ncertification of critical software.","homepage_url":"https://www.frama-c.com/index.html","license":"LGPL-2.1","attribute_paths":["ocamlPackages.frama-c"],"releases":[{"version":"33.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.frama-c","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/mv47sbgcl6afr2qv5mqly2gnby681jb3-ocaml5.5.0-frama-c-33.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.frama-c","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/8wyp1mfv9gncrmndnsymxj3pqaxc7c0j-ocaml5.5.0-frama-c-33.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.frama-c","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/2i9xnfnwdmqlvqjwyj3p1fjgddzlpi4g-ocaml5.5.0-frama-c-33.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"32.1","last_updated":"2026-07-23T21:30:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.frama-c","commit_hash":"91cc1fdf6831e29b6c98768e721a72241f3d0797","date":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/2sm86rgbx72ng8l3rawqml3qjggf3p6f-ocaml5.4.1-frama-c-32.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.frama-c","commit_hash":"91cc1fdf6831e29b6c98768e721a72241f3d0797","date":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/868ga9a4266x8h39d820901mr500fgkq-ocaml5.4.1-frama-c-32.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.frama-c","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/728kwcpsm6y3kb3qvpw3vngjygww81ik-ocaml5.4.1-frama-c-32.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.frama-c","commit_hash":"91cc1fdf6831e29b6c98768e721a72241f3d0797","date":"2026-07-23T21:30:14Z","outputs":[{"name":"out","path":"/nix/store/52h2my9n7jvgl0ifl75cyi6czp8rp46s-ocaml5.4.1-frama-c-32.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"31.0","last_updated":"2026-05-20T06:38:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.frama-c","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/1kl9ndzzh6klp3h582mq7xb4zfn8g2pm-ocaml5.4.1-frama-c-31.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.frama-c","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/04y8mv5vwnfj6n38pgxd5i2yvibv8mbx-ocaml5.4.1-frama-c-31.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.frama-c","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/2hk20yx6f2jqff2r719iyzanjsrdd73p-ocaml5.4.1-frama-c-31.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.frama-c","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/yy7awpzkmx9sq4vs2frjdk57ycs88q16-ocaml5.4.1-frama-c-31.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}