nixsearch / pkg / python312Packages.leanblueprint / 0.0.18
python312Packages.leanblueprint 0.0.18
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.18
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitee09932cedcef15aaf476f9343d1dea2cb77e261
$ nix shell github:NixOS/nixpkgs/ee09932cedcef15aaf476f9343d1dea2cb77e261#python312Packages.leanblueprint
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
python312Packages.leanblueprint |
ee09932cedce | out/nix/store/q22sgyykprnkch317h0qvviwz5f0fsnc-python3.12-leanblueprint-0.0.18 dist (not default)/nix/store/v2aza7aa3hhp2374ljp9hsghwn1wr4jw-python3.12-leanblueprint-0.0.18-dist |
||
aarch64-linuxLinux · arm64 |
python312Packages.leanblueprint |
ee09932cedce | out/nix/store/y98wkjzm3pq3b8k877ic2pn1jjq8l8dx-python3.12-leanblueprint-0.0.18 dist (not default)/nix/store/hqi4crpgib7ygj2qxik86h6k1mzd186d-python3.12-leanblueprint-0.0.18-dist |
||
x86_64-darwinmacOS · x86-64 |
python312Packages.leanblueprint |
ee09932cedce | out/nix/store/4sx76ky4dpraab1x2b9mw9jn80xi8rq8-python3.12-leanblueprint-0.0.18 dist (not default)/nix/store/1bdvvic079b1izsjqkp9aijb63kcqy3j-python3.12-leanblueprint-0.0.18-dist |
||
x86_64-linuxLinux · x86-64 |
python312Packages.leanblueprint |
ee09932cedce | out/nix/store/pgjj8ij75ny5c5qzbc4zlm2d1mhq3lk6-python3.12-leanblueprint-0.0.18 dist (not default)/nix/store/fm0zqs22l0g7rawcipmqcjxmdgh4mjh4-python3.12-leanblueprint-0.0.18-dist |
JSON: /v2/pkg?name=python312Packages.leanblueprint · /v2/resolve?name=python312Packages.leanblueprint&version=0.0.18