{"name":"python312Packages.leanblueprint","version":"0.0.20","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":"b72f284b1be41575c3e36cd777a191c29a7adf6a"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-25T00:54:45Z","outputs":[{"name":"out","path":"/nix/store/m18iy6zsvnlk6qd2l6wsf6v2kaqk78np-python3.12-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/945vd0b7j7spvxspxl4qgw6wqf38d8n4-python3.12-leanblueprint-0.0.20-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b72f284b1be41575c3e36cd777a191c29a7adf6a"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-25T00:54:45Z","outputs":[{"name":"out","path":"/nix/store/0dfds04r7y4cyqvaf8l1pw29vkaf1zk9-python3.12-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/hhx7hn4qbqv0phb0369whyg8g59hsbg8-python3.12-leanblueprint-0.0.20-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b72f284b1be41575c3e36cd777a191c29a7adf6a"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-25T00:54:45Z","outputs":[{"name":"out","path":"/nix/store/g1r64v4h2a41s5yq13pf7hz9480q9y09-python3.12-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/8hz8acxbhhi13f7lfrs7svzmjxyf8d7c-python3.12-leanblueprint-0.0.20-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b72f284b1be41575c3e36cd777a191c29a7adf6a"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-25T00:54:45Z","outputs":[{"name":"out","path":"/nix/store/cvdiz4kjvl1ppkw0zpdi6sd3cmzb35sl-python3.12-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/jixv2fpvqnvvp4nrn84674bmm9is69bd-python3.12-leanblueprint-0.0.20-dist"}]}}}