{"name":"ocamlPackages.aeneas","summary":"Verification toolchain for Rust programs","description":"","homepage_url":"https://github.com/AeneasVerif/aeneas","license":"Apache-2.0","attribute_paths":["ocamlPackages.aeneas"],"releases":[{"version":"2026.08.15-daa85d7","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/rgfallw551xmbqyxlmnq1dvm5cckssfg-ocaml5.5.0-aeneas-2026.08.15-daa85d7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/hdx1fzq7xqkpxhibhcbqg7brhby9344h-ocaml5.5.0-aeneas-2026.08.15-daa85d7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/v5hl4lrldxv6dhgsp0c4yyvvg9iw1jgh-ocaml5.5.0-aeneas-2026.08.15-daa85d7","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-daa85d7","last_updated":"2026-08-12T11:28:58Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/dsa4hqf93n56508grl3jp1hz8mahkf2w-ocaml5.4.1-aeneas-2026.08.06-daa85d7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/4lfd4a4x6rs3ag8gr6nqm9pwqd4j7c87-ocaml5.4.1-aeneas-2026.08.06-daa85d7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"044bfe75bfe4c7bbe043dc17b5e42ea823b84a09","date":"2026-08-12T11:28:58Z","outputs":[{"name":"out","path":"/nix/store/57rklra47dg0iwm21ba08fjwvr292w0y-ocaml5.4.1-aeneas-2026.08.06-daa85d7","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-daa85d7","last_updated":"2026-08-07T10:21:50Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"afb4584a80bbf779ce0f691509ff902d188c2b3d","date":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/z2cglf6n90yn5b8lhdfrzwzi4ix8srmg-ocaml5.4.1-aeneas-2026.08.03-daa85d7","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"afb4584a80bbf779ce0f691509ff902d188c2b3d","date":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/hy4fi1p13gcv5pvimxjbxpwqkis44pxv-ocaml5.4.1-aeneas-2026.08.03-daa85d7","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"afb4584a80bbf779ce0f691509ff902d188c2b3d","date":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/wg8wwqafh48ick9pczxi353if808f0ph-ocaml5.4.1-aeneas-2026.08.03-daa85d7","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-bc2eb6f","last_updated":"2026-08-01T16:34:20Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/8ckknrkzf10ylakkfr242ln9zfr1ys1j-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/6paaqgsysjm41zclnz73mv9grhaqh2yq-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e","date":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/i72ii81jyvph18q9ii3f35znpn84caja-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f","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.aeneas","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/hp1kl003pv7c2qwa9mvdd9ip5acxhabv-ocaml5.4.1-aeneas-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/i14bhnw9bdi71c3k72xl40a9xb4gyw60-ocaml5.4.1-aeneas-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"0c190cd98e1f30cdbeff0ca149b2b17564a4a30e","date":"2026-07-03T16:41:56Z","outputs":[{"name":"out","path":"/nix/store/hmc4n4h6c13f9pgvq3pa495gp6h9d7bg-ocaml5.4.1-aeneas-2026.07.01","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/d67j5js77xvx98h3simfgkwjfs1m9kq5-ocaml5.4.1-aeneas-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-07-01T06:48:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/3v4k5yv0lw69bnfl5j6wbf6nmghqdrla-ocaml5.4.1-aeneas-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/zrccx7aw1p0v2zspx1jrp6bfm2228mdk-ocaml5.4.1-aeneas-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/6dpcxjkb9mn4qd6ppmxd8q3ydnw9xpcr-ocaml5.4.1-aeneas-2026.06.22","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"f76e4c7b1840704deda511ab34f37b829f6b5636","date":"2026-07-01T06:48:47Z","outputs":[{"name":"out","path":"/nix/store/58fk80x5fd5qcxg976fdz33v406lgigw-ocaml5.4.1-aeneas-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-22T09:00:13Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"b3c092d3c36d91e2f61f3dfb39a159f180a56659","date":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/1v3l09348jpm9bdqlzi769dwmcrznck4-ocaml5.4.1-aeneas-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"b3c092d3c36d91e2f61f3dfb39a159f180a56659","date":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/b7f0a60dahhxb7h6lxp48q0fkdnr02bx-ocaml5.4.1-aeneas-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages.aeneas","commit_hash":"b3c092d3c36d91e2f61f3dfb39a159f180a56659","date":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/xxg5lhrcncgbvbl67kx9ncjj1mcwb2hq-ocaml5.4.1-aeneas-2026.06.14","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages.aeneas","commit_hash":"b3c092d3c36d91e2f61f3dfb39a159f180a56659","date":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/y4q245gy2pxqf6l924wkskx0qnv8clbi-ocaml5.4.1-aeneas-2026.06.14","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}