nixsearch / pkg / python312Packages.leanblueprint / 0.0.10
python312Packages.leanblueprint 0.0.10
This plasTeX plugin allowing to write blueprints for Lean 4 projects
Linux and macOS
last changed
outputs: out, dist
Pin this version
$ devbox add python312Packages.leanblueprint@0.0.10
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#python312Packages.leanblueprint
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.leanblueprint |
f4b140d5b253 | out/nix/store/valnhhv0jbmj4agcr08byav3wa9wxk4s-python3.12-leanblueprint-0.0.10 dist (not default)/nix/store/xkxz7kx36lav3xnwhpzm3xg26gxfj8v5-python3.12-leanblueprint-0.0.10-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.leanblueprint |
f4b140d5b253 | out/nix/store/gpbqdmj9xbb078qjf4xgj02hsiilasv2-python3.12-leanblueprint-0.0.10 dist (not default)/nix/store/mqcmyzay4vajhww72wiwhf9ylgjq5gql-python3.12-leanblueprint-0.0.10-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.leanblueprint |
f4b140d5b253 | out/nix/store/03c5y66mkydqcwzs7lq4syw3afsd8p1b-python3.12-leanblueprint-0.0.10 dist (not default)/nix/store/wsyh0kvbi24cgfblsafxhd436iql9fqa-python3.12-leanblueprint-0.0.10-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.leanblueprint |
f4b140d5b253 | out/nix/store/vp55acka0xy34jh8hf77hpldia3m2i7k-python3.12-leanblueprint-0.0.10 dist (not default)/nix/store/0ba4877agik1b5zpb5nlkffh0gycvpfw-python3.12-leanblueprint-0.0.10-dist |
JSON: /v2/pkg?name=python312Packages.leanblueprint · /v2/resolve?name=python312Packages.leanblueprint&version=0.0.10