{"name":"python312Packages.leanblueprint","version":"0.0.18","summary":"This plasTeX plugin allowing to write blueprints for Lean 4 projects","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/q22sgyykprnkch317h0qvviwz5f0fsnc-python3.12-leanblueprint-0.0.18","default":true},{"name":"dist","path":"/nix/store/v2aza7aa3hhp2374ljp9hsghwn1wr4jw-python3.12-leanblueprint-0.0.18-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/y98wkjzm3pq3b8k877ic2pn1jjq8l8dx-python3.12-leanblueprint-0.0.18","default":true},{"name":"dist","path":"/nix/store/hqi4crpgib7ygj2qxik86h6k1mzd186d-python3.12-leanblueprint-0.0.18-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/4sx76ky4dpraab1x2b9mw9jn80xi8rq8-python3.12-leanblueprint-0.0.18","default":true},{"name":"dist","path":"/nix/store/1bdvvic079b1izsjqkp9aijb63kcqy3j-python3.12-leanblueprint-0.0.18-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ee09932cedcef15aaf476f9343d1dea2cb77e261"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-11-23T21:50:36Z","outputs":[{"name":"out","path":"/nix/store/pgjj8ij75ny5c5qzbc4zlm2d1mhq3lk6-python3.12-leanblueprint-0.0.18","default":true},{"name":"dist","path":"/nix/store/fm0zqs22l0g7rawcipmqcjxmdgh4mjh4-python3.12-leanblueprint-0.0.18-dist"}]}}}