{"name":"python312Packages.leanblueprint","version":"0.0.10","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":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/valnhhv0jbmj4agcr08byav3wa9wxk4s-python3.12-leanblueprint-0.0.10","default":true},{"name":"dist","path":"/nix/store/xkxz7kx36lav3xnwhpzm3xg26gxfj8v5-python3.12-leanblueprint-0.0.10-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/gpbqdmj9xbb078qjf4xgj02hsiilasv2-python3.12-leanblueprint-0.0.10","default":true},{"name":"dist","path":"/nix/store/mqcmyzay4vajhww72wiwhf9ylgjq5gql-python3.12-leanblueprint-0.0.10-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/03c5y66mkydqcwzs7lq4syw3afsd8p1b-python3.12-leanblueprint-0.0.10","default":true},{"name":"dist","path":"/nix/store/wsyh0kvbi24cgfblsafxhd436iql9fqa-python3.12-leanblueprint-0.0.10-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-09-18T16:33:27Z","outputs":[{"name":"out","path":"/nix/store/vp55acka0xy34jh8hf77hpldia3m2i7k-python3.12-leanblueprint-0.0.10","default":true},{"name":"dist","path":"/nix/store/0ba4877agik1b5zpb5nlkffh0gycvpfw-python3.12-leanblueprint-0.0.10-dist"}]}}}