{"name":"ocamlPackages.aeneas","version":"2026.08.06-daa85d7","summary":"Verification toolchain for Rust programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/dsa4hqf93n56508grl3jp1hz8mahkf2w-ocaml5.4.1-aeneas-2026.08.06-daa85d7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/4lfd4a4x6rs3ag8gr6nqm9pwqd4j7c87-ocaml5.4.1-aeneas-2026.08.06-daa85d7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8be7bd0c83f12e2e3bbba07c9044d6fed9e66f7f"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-14T15:04:01Z","outputs":[{"name":"out","path":"/nix/store/57rklra47dg0iwm21ba08fjwvr292w0y-ocaml5.4.1-aeneas-2026.08.06-daa85d7","default":true}]}}}