{"name":"python314Packages.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":"7dd199b0e2993e37b4775ed66b1c291699608c9f"},"attr_path":"python314Packages.leanblueprint"},"last_updated":"2026-10-07T01:26:01Z","outputs":[{"name":"out","path":"/nix/store/m2z4h1xg24iklzpalvsnz15a98gif2hx-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/wpv9bhswjpdqg1lifm5zwpyyi6vc3ap7-python3.14-leanblueprint-0.0.20-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7dd199b0e2993e37b4775ed66b1c291699608c9f"},"attr_path":"python314Packages.leanblueprint"},"last_updated":"2026-10-07T01:26:01Z","outputs":[{"name":"out","path":"/nix/store/v31bsgdrcg1nbpl72m2p160sgq2c6sjr-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/iq4j87zmzjjw5zjhs4838dbr3hbnfm4m-python3.14-leanblueprint-0.0.20-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"python314Packages.leanblueprint"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/2nshkibh86lckzxa1k8ip0vsikmhbjzm-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/vkc69wvl3icrw92cz1spj44pq6rivz3l-python3.14-leanblueprint-0.0.20-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"7dd199b0e2993e37b4775ed66b1c291699608c9f"},"attr_path":"python314Packages.leanblueprint"},"last_updated":"2026-10-07T01:26:01Z","outputs":[{"name":"out","path":"/nix/store/crclm2lglpmkwrn3i6i82j2ra4661kx4-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/h48f1rsnw28rb3fngpaqwrd4h8c3fv5p-python3.14-leanblueprint-0.0.20-dist"}]}}}