{"name":"ocamlPackages.aeneas","version":"2026.07.01","summary":"Verification toolchain for Rust programs","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"389ed85304b281ca7f306cf8a1eb4378651ca44e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/hp1kl003pv7c2qwa9mvdd9ip5acxhabv-ocaml5.4.1-aeneas-2026.07.01","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"389ed85304b281ca7f306cf8a1eb4378651ca44e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/i14bhnw9bdi71c3k72xl40a9xb4gyw60-ocaml5.4.1-aeneas-2026.07.01","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0c190cd98e1f30cdbeff0ca149b2b17564a4a30e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-07-03T16:41:56Z","outputs":[{"name":"out","path":"/nix/store/hmc4n4h6c13f9pgvq3pa495gp6h9d7bg-ocaml5.4.1-aeneas-2026.07.01","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"389ed85304b281ca7f306cf8a1eb4378651ca44e"},"attr_path":"ocamlPackages.aeneas"},"last_updated":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/d67j5js77xvx98h3simfgkwjfs1m9kq5-ocaml5.4.1-aeneas-2026.07.01","default":true}]}}}