{"name":"framac","summary":"Extensible and collaborative platform dedicated to source-code analysis of C software","description":"","homepage_url":"http://frama-c.com/","license":"LGPL-2.1","attribute_paths":["framac"],"releases":[{"version":"31.0","last_updated":"2026-05-20T06:38:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/pw0c1fg3fz5bghk8wjd69mk2bq9mrz0w-frama-c-31.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/8mviplagkcbddwnrnwqhmy3cfsapjh10-frama-c-31.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/2ih28mrn81zf0jrms59zhvzmmk4kx7md-frama-c-31.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"d99b013d5d1931ad77fe3912ed218170dec5d9a4","date":"2026-05-20T06:38:13Z","outputs":[{"name":"out","path":"/nix/store/cl35s779y7fhh1y809jqha15q0fng7g7-frama-c-31.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"30.0","last_updated":"2025-07-13T22:45:35Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/zchs45jjw6jyf59zc5a9n5zm1l4dyi55-frama-c-30.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/50qrvxj6vdwqv96b2mayn99cax3xpc68-frama-c-30.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/hbr6zf25c9qky3bfijl0g0slbhh4ly2w-frama-c-30.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"a421ac6595024edcfbb1ef950a3712b89161c359","date":"2025-07-13T22:45:35Z","outputs":[{"name":"out","path":"/nix/store/cma2m3c815ikgpvgddr5d812d7smsw79-frama-c-30.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"29.0","last_updated":"2025-03-09T13:01:12Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/nx0bh5x35x14rkhijg5r1wclpfx7x4wf-frama-c-29.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/5m4d9ml6jcqdslz4ajx9hj5r7jqy0553-frama-c-29.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"ed0b1881565c1ffef490c10d663d4f542031dad3","date":"2025-03-08T03:02:36Z","outputs":[{"name":"out","path":"/nix/store/m69ifvb0j38147zqbcgh2sjq6x7d4dal-frama-c-29.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"212518a3623f5451efad314323e2c6b847eab45a","date":"2025-03-09T13:01:12Z","outputs":[{"name":"out","path":"/nix/store/1kimj90pri7wgdp6nfk74zfxps2irgif-frama-c-29.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"28.1","last_updated":"2024-07-04T10:07:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"61684d356e41c97f80087e89659283d00fe032ab","date":"2024-07-03T17:18:23Z","outputs":[{"name":"out","path":"/nix/store/b3m9nnh5fgppzqwm2qzgy4d4rbk20z6p-frama-c-28.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"61684d356e41c97f80087e89659283d00fe032ab","date":"2024-07-03T17:18:23Z","outputs":[{"name":"out","path":"/nix/store/chxkxbmaqnfxph20wh9lldd96a5j28cr-frama-c-28.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"1afc5440469f94e7ed26e8648820971b102afdc3","date":"2024-07-04T10:07:58Z","outputs":[{"name":"out","path":"/nix/store/67bshq23b0hkhzhjjjryrv7zj22lcqgf-frama-c-28.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"61684d356e41c97f80087e89659283d00fe032ab","date":"2024-07-03T17:18:23Z","outputs":[{"name":"out","path":"/nix/store/m3jyx27zq8fn846cghfp15xx4xqdpz6p-frama-c-28.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"28.0","last_updated":"2024-03-08T13:51:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/44xdvixfib89y9s94qlpifplb8hhfpdp-frama-c-28.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/fj2rkpz2cw1mav53n6d3agk4d53i5b8r-frama-c-28.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/spa528ywjk92z2sj7vsvapszp4849pv6-frama-c-28.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/2f7vc02k5cflxsd8aqmz7ymh32xfnsav-frama-c-28.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"27.1","last_updated":"2023-12-08T01:14:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"09dc04054ba2ff1f861357d0e7e76d021b273cd7","date":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/d2mnnqjg0wnpnfni19xc8xiy80blwqr0-frama-c-27.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"09dc04054ba2ff1f861357d0e7e76d021b273cd7","date":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/wn65i24pc74p2jc0gqnw9yj09hjja6f1-frama-c-27.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"09dc04054ba2ff1f861357d0e7e76d021b273cd7","date":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/3flxb5mmg664hmasd3micgwasrw5jxc7-frama-c-27.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"09dc04054ba2ff1f861357d0e7e76d021b273cd7","date":"2023-12-08T01:14:17Z","outputs":[{"name":"out","path":"/nix/store/38y8lzrbjxrhdq9lpqnz1md46r00cc7p-frama-c-27.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"26.1","last_updated":"2023-07-27T07:11:54Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f","date":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/qcw4c9vhdylax0k2n16lr07npy4dbgi9-frama-c-26.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f","date":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/jpn6yfnc0ay75z4gjrc9zdx31wpf2fb9-frama-c-26.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f","date":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/6gh3zc2nihadkl009m8rxcjzrmb8syc3-frama-c-26.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"db8672b8d0a2593c2405aed0c1dfa64b2a2f428f","date":"2023-07-27T07:11:54Z","outputs":[{"name":"out","path":"/nix/store/qdfiqggrclyx6vsa6s2qr48vm7apsdiy-frama-c-26.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"25.0","last_updated":"2023-02-26T12:03:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b","date":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/j5ysgj1gvicby6c8sahym2kbpa994l1l-frama-c-25.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b","date":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/7925mzwwp2v7fzwy3h761s4w81l1y763-frama-c-25.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b","date":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/ndfqdb6gblbg382lxg0b5bfhndsx8zic-frama-c-25.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"84e33aea0f7a8375c92458c5b6cad75fa1dd561b","date":"2023-02-26T12:03:36Z","outputs":[{"name":"out","path":"/nix/store/xcsb66hy6zhdml1b0xh8h1dffn5270qj-frama-c-25.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"24.0","last_updated":"2022-07-10T17:20:56Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/5slz93infj4am126m0v8v06wllkya7fr-frama-c-24.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"framac","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/9l9gcamnl8w7jd30sdw61q704s8mf5h0-frama-c-24.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/573p0qky3xdlv1km3pxij2s2ingm2dxi-frama-c-24.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"3137fb373e36e39f605d44f97cb0f7807deefd1c","date":"2022-07-10T17:20:56Z","outputs":[{"name":"out","path":"/nix/store/bfdcvkkq3r8mm3p837rvn3idpjdp2yml-frama-c-24.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"23.1","last_updated":"2021-12-03T17:41:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"framac","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"2df15ba83d0510a56f2583fd3481723835acb5a1","date":"2021-12-03T17:41:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"23.0","last_updated":"2021-07-24T17:36:03Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"9aec01027f7ea2bca07bb51d5ed83e78088871c1","date":"2021-07-24T17:36:03Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"9aec01027f7ea2bca07bb51d5ed83e78088871c1","date":"2021-07-24T17:36:03Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"23.0-rc1","last_updated":"2021-07-10T18:39:07Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"fb45fa64ae3460d6bd2701ab5a6c4512d781f166","date":"2021-07-10T18:39:07Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"fb45fa64ae3460d6bd2701ab5a6c4512d781f166","date":"2021-07-10T18:39:07Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":true,"broken":false,"insecure":false},{"version":"22.0","last_updated":"2021-06-24T11:46:20Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"framac","commit_hash":"9dde08d104a9ce3b22ad375b21d3270a7589fb7a","date":"2021-06-24T11:46:20Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"9dde08d104a9ce3b22ad375b21d3270a7589fb7a","date":"2021-06-24T11:46:20Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"21.1","last_updated":"2020-11-24T13:30:24Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"4f165c6d7d4dcd216c95dc02a875d2ab09f65821","date":"2020-11-24T13:30:24Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"21.0","last_updated":"2020-07-01T18:07:51Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"55668eb671b915b49bcaaeec4518cc49d8de0a99","date":"2020-07-01T18:07:51Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"20.0","last_updated":"2020-06-30T02:44:55Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"framac","commit_hash":"e912fb83d2155a393e7146da98cda0e455a80fb6","date":"2020-06-30T02:44:55Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}