{"name":"leanPackages.Cli","version":"4.34.0","summary":"Command-line argument parser for Lean 4","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"leanPackages.Cli"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/dn9j91jfhi1nmisq0csx96krd431c97z-lean4-cli-4.34.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"leanPackages.Cli"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/9a2nzn7fbv0zvfcb1j8ffjqsj5lr91g6-lean4-cli-4.34.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"leanPackages.Cli"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/0qbpq6bmgj2blm51p3kz6nbbj2mi5j58-lean4-cli-4.34.0","default":true}]}}}