{"name":"ocamlPackages.aeneas","version":"2026.06.14","summary":"Verification toolchain for Rust programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b3c092d3c36d91e2f61f3dfb39a159f180a56659"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/1v3l09348jpm9bdqlzi769dwmcrznck4-ocaml5.4.1-aeneas-2026.06.14","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b3c092d3c36d91e2f61f3dfb39a159f180a56659"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/b7f0a60dahhxb7h6lxp48q0fkdnr02bx-ocaml5.4.1-aeneas-2026.06.14","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b3c092d3c36d91e2f61f3dfb39a159f180a56659"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/xxg5lhrcncgbvbl67kx9ncjj1mcwb2hq-ocaml5.4.1-aeneas-2026.06.14","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b3c092d3c36d91e2f61f3dfb39a159f180a56659"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-06-22T09:00:13Z","outputs":[{"name":"out","path":"/nix/store/y4q245gy2pxqf6l924wkskx0qnv8clbi-ocaml5.4.1-aeneas-2026.06.14","default":true}]}}}