{"name":"python314Packages.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":["python314Packages.leanblueprint"],"releases":[{"version":"0.0.20","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.leanblueprint","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/2rhl178rh0bcrvplxk4kgpar14jc64ij-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/di0qddng7y9xs2mwalxbr6ngxiq1qily-python3.14-leanblueprint-0.0.20-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.leanblueprint","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/qazbrwaad1cxibmcxzx2jh32w8jb7jrh-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/7v4z7dh8p8k8wqjqz6dbrvk2xfp9av82-python3.14-leanblueprint-0.0.20-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.leanblueprint","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.leanblueprint","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/ijn8ykjqy1258r5b0qnz44lmpirw2417-python3.14-leanblueprint-0.0.20","default":true},{"name":"dist","path":"/nix/store/xd5d36lmk2q23m0z41x6spmjvzz51xrc-python3.14-leanblueprint-0.0.20-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}