{"name":"ocamlPackages.aeneas","version":"2026.07.16-bc2eb6f","summary":"Verification toolchain for Rust programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/8ckknrkzf10ylakkfr242ln9zfr1ys1j-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/6paaqgsysjm41zclnz73mv9grhaqh2yq-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a5cbcfe954791221bfffe2307f7d1a1bf61a871e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-01T16:34:20Z","outputs":[{"name":"out","path":"/nix/store/i72ii81jyvph18q9ii3f35znpn84caja-ocaml5.4.1-aeneas-2026.07.16-bc2eb6f","default":true}]}}}