{"name":"python312Packages.leanblueprint","version":"0.0.19","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":"5d6bdbddb4695a62f0d00a3620b37a15275a5093"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-11T04:04:52Z","outputs":[{"name":"out","path":"/nix/store/jhjw5rlikwf33kdr56k833rhb0v09rff-python3.12-leanblueprint-0.0.19","default":true},{"name":"dist","path":"/nix/store/s46vg5326r94d63jvj1mkapzbs5mk0kr-python3.12-leanblueprint-0.0.19-dist"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5d6bdbddb4695a62f0d00a3620b37a15275a5093"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-11T04:04:52Z","outputs":[{"name":"out","path":"/nix/store/jw5dd6w0kfqb21zx4vyl8gb6qx31kapm-python3.12-leanblueprint-0.0.19","default":true},{"name":"dist","path":"/nix/store/b0ps76i5aisvpyy5k7b63gbzqm2nh4v0-python3.12-leanblueprint-0.0.19-dist"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5d6bdbddb4695a62f0d00a3620b37a15275a5093"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-11T04:04:52Z","outputs":[{"name":"out","path":"/nix/store/p1363bc7q7c35p6l8jh5xkdf9k4jw3zd-python3.12-leanblueprint-0.0.19","default":true},{"name":"dist","path":"/nix/store/p5bj5n98m4a122q4brqw4sgw3kd3b81d-python3.12-leanblueprint-0.0.19-dist"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5d6bdbddb4695a62f0d00a3620b37a15275a5093"},"attr_path":"python312Packages.leanblueprint"},"last_updated":"2025-12-11T04:04:52Z","outputs":[{"name":"out","path":"/nix/store/51ms4mycf1albap1c6rjqjf7ix6csqdk-python3.12-leanblueprint-0.0.19","default":true},{"name":"dist","path":"/nix/store/cp0baphmr4ml548wx7kap114pa4frmgq-python3.12-leanblueprint-0.0.19-dist"}]}}}