{"name":"python312Packages.leanblueprint","summary":"This plasTeX plugin allowing to write blueprints for Lean 4 projects","description":"","homepage_url":"https://github.com/PatrickMassot/leanblueprint","license":"Apache-2.0","attribute_paths":["python312Packages.leanblueprint"],"releases":[{"version":"0.0.20","last_updated":"2025-12-25T00:54:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"b72f284b1be41575c3e36cd777a191c29a7adf6a","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"b72f284b1be41575c3e36cd777a191c29a7adf6a","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"b72f284b1be41575c3e36cd777a191c29a7adf6a","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"b72f284b1be41575c3e36cd777a191c29a7adf6a","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.19","last_updated":"2025-12-11T04:04:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"5d6bdbddb4695a62f0d00a3620b37a15275a5093","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"5d6bdbddb4695a62f0d00a3620b37a15275a5093","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"5d6bdbddb4695a62f0d00a3620b37a15275a5093","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"5d6bdbddb4695a62f0d00a3620b37a15275a5093","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.18","last_updated":"2025-11-23T21:50:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"ee09932cedcef15aaf476f9343d1dea2cb77e261","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"0.0.10","last_updated":"2025-09-18T16:33:27Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python312Packages.leanblueprint","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python312Packages.leanblueprint","commit_hash":"f4b140d5b253f5e2a1ff4e5506edbf8267724bde","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}