nixsearch / pkg / python312Packages.leanblueprint
python312Packages.leanblueprint
This plasTeX plugin allowing to write blueprints for Lean 4 projects
version0.0.20
attributepython312Packages.leanblueprint
revb72f284b1be41575c3e36cd777a191c29a7adf6a · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add python312Packages.leanblueprint@0.0.20
$ nix shell github:NixOS/nixpkgs/b72f284b1be41575c3e36cd777a191c29a7adf6a#python312Packages.leanblueprint
JSON: /v2/resolve?name=python312Packages.leanblueprint&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 0.0.20resolved | ✓ | ✓ | ✓ | ✓ | python312Packages.leanblueprint |
b72f284b1b | out, dist | |
| 0.0.19 | ✓ | ✓ | ✓ | ✓ | python312Packages.leanblueprint |
5d6bdbddb4 | out, dist | |
| 0.0.18 | ✓ | ✓ | ✓ | ✓ | python312Packages.leanblueprint |
ee09932ced | out, dist | |
| 0.0.10 | ✓ | ✓ | ✓ | ✓ | python312Packages.leanblueprint |
f4b140d5b2 | out, dist |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.