{"name":"ocamlPackages.charon","summary":"Analyze Rust crates without touching compiler internals","description":"","homepage_url":"https://github.com/AeneasVerif/charon","license":"Apache-2.0","attribute_paths":["ocamlPackages.charon"],"releases":[{"version":"2026.08.15","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/1swdwz9c129f57k67bxw654gcvlazkf7-ocaml5.5.0-charon-2026.08.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/30rqi4d2ryycfh5f6z6pb05bi5rv7rw4-ocaml5.5.0-charon-2026.08.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/v342ill4pakq3362x67k05v8fjlp41q2-ocaml5.5.0-charon-2026.08.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.08.06","last_updated":"2026-08-12T11:28:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/dcycg92gi8lspyiimp07pclim93x19sk-ocaml5.4.1-charon-2026.08.06","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/18fapivda8brs3ahmzz1lm0s83a9jfax-ocaml5.4.1-charon-2026.08.06","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/92hxlv1hl53iwzz5xnks2hscnqnxdzvb-ocaml5.4.1-charon-2026.08.06","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.08.03","last_updated":"2026-08-05T07:53:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/zvfigsdapnj8kql81lbkad1f3f71qj27-ocaml5.4.1-charon-2026.08.03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/00qzxqrh3y18aacnl9ydc35m8f7ng30w-ocaml5.4.1-charon-2026.08.03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"3a971fa2e67dcb0f2f2cfed2d37e7956567d73d1","date":"2026-08-05T07:53:23Z","outputs":[{"name":"out","path":"/nix/store/v1v8ka3yy9fzcvwb13dph4s8x02ggrv2-ocaml5.4.1-charon-2026.08.03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.07.16","last_updated":"2026-08-01T16:34:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/wgnfxy4a0f6n4n3jrchsrg16jfi80lhj-ocaml5.4.1-charon-2026.07.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/a08gldhdqmvh0c64220h8p2jn8vrjh5p-ocaml5.4.1-charon-2026.07.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/5bsmdji6rg984ni1yrx95v27gvgnhg68-ocaml5.4.1-charon-2026.07.16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.07.01","last_updated":"2026-07-08T21:13:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/pk4232fnlryy53h558xa9g9m9b1pcq2j-ocaml5.4.1-charon-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/ya5yi1nw1id5pv13bv4pdwp24nh0il4b-ocaml5.4.1-charon-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"0c190cd98e1f30cdbeff0ca149b2b17564a4a30e","date":"2026-07-03T16:41:56Z","outputs":[{"name":"out","path":"/nix/store/zqcvyl6p3rjxdsqns894c8qi0ypyr37y-ocaml5.4.1-charon-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/s0qr2pjxxd0g60icp67z51qisjnmn9bq-ocaml5.4.1-charon-2026.07.01","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.06.22","last_updated":"2026-06-27T07:37:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/d3apwh6dgdbaf2gb9d6ffglyqhb761m6-ocaml5.4.1-charon-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/pp1sfl80h11liwwv70ndvxfpsss11k70-ocaml5.4.1-charon-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/f0z1p1zr0f62sf0swslbzkhpf79rh8kr-ocaml5.4.1-charon-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/wrkhkqv716d1sprsb4vhsk8yi3skw9gl-ocaml5.4.1-charon-2026.06.22","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"2026.06.14","last_updated":"2026-06-14T16:21:05Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/skvlklnrzqz7n8g1aq42c5xsmwzmn07y-ocaml5.4.1-charon-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/lw0ndk95m1ribd621sbpsp9kxz948vxx-ocaml5.4.1-charon-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.charon","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/nxqzxnw8rzxa5086kzq7ipviyff4zn77-ocaml5.4.1-charon-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.charon","commit_hash":"9eac87a12312b8f60dd52e1c6e1a265f6fc7f5fc","date":"2026-06-14T16:21:05Z","outputs":[{"name":"out","path":"/nix/store/4c7iyqyhm6ah8rmgsm3gfd2zz195wzfi-ocaml5.4.1-charon-2026.06.14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}