{"name":"ocamlPackages.aeneas","version":"2026.08.03-daa85d7","summary":"Verification toolchain for Rust programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"afb4584a80bbf779ce0f691509ff902d188c2b3d"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/z2cglf6n90yn5b8lhdfrzwzi4ix8srmg-ocaml5.4.1-aeneas-2026.08.03-daa85d7","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"afb4584a80bbf779ce0f691509ff902d188c2b3d"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/hy4fi1p13gcv5pvimxjbxpwqkis44pxv-ocaml5.4.1-aeneas-2026.08.03-daa85d7","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"afb4584a80bbf779ce0f691509ff902d188c2b3d"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-08-07T10:21:50Z","outputs":[{"name":"out","path":"/nix/store/wg8wwqafh48ick9pczxi353if808f0ph-ocaml5.4.1-aeneas-2026.08.03-daa85d7","default":true}]}}}