nixsearch / pkg / python312Packages.leanblueprint / 0.0.19
python312Packages.leanblueprint 0.0.19
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.19
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit5d6bdbddb4695a62f0d00a3620b37a15275a5093
$ nix shell github:NixOS/nixpkgs/5d6bdbddb4695a62f0d00a3620b37a15275a5093#python312Packages.leanblueprint
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.leanblueprint |
5d6bdbddb469 | out/nix/store/jhjw5rlikwf33kdr56k833rhb0v09rff-python3.12-leanblueprint-0.0.19 dist (not default)/nix/store/s46vg5326r94d63jvj1mkapzbs5mk0kr-python3.12-leanblueprint-0.0.19-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.leanblueprint |
5d6bdbddb469 | out/nix/store/jw5dd6w0kfqb21zx4vyl8gb6qx31kapm-python3.12-leanblueprint-0.0.19 dist (not default)/nix/store/b0ps76i5aisvpyy5k7b63gbzqm2nh4v0-python3.12-leanblueprint-0.0.19-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.leanblueprint |
5d6bdbddb469 | out/nix/store/p1363bc7q7c35p6l8jh5xkdf9k4jw3zd-python3.12-leanblueprint-0.0.19 dist (not default)/nix/store/p5bj5n98m4a122q4brqw4sgw3kd3b81d-python3.12-leanblueprint-0.0.19-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.leanblueprint |
5d6bdbddb469 | out/nix/store/51ms4mycf1albap1c6rjqjf7ix6csqdk-python3.12-leanblueprint-0.0.19 dist (not default)/nix/store/cp0baphmr4ml548wx7kap114pa4frmgq-python3.12-leanblueprint-0.0.19-dist |
JSON: /v2/pkg?name=python312Packages.leanblueprint · /v2/resolve?name=python312Packages.leanblueprint&version=0.0.19