Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

leanblueprint

leanblueprint 0.0.20 · pkgs/development/python-modules/leanblueprint/default.nix
Sign in to watch

Health

Risk
risk 0 ok
Version
0.0.20 no newer release in its git tags
Channels
master 0.0.20 · nixos-unstable 0.0.20 · nixos-26.05 0.0.20 no channel is behind master
Hydra
succeeded 1d ago
Advisories
none open
Packaging
meta complete
Packagewhat each field means
Description
This plasTeX plugin allowing to write blueprints for Lean 4 projects
Homepage
https://github.com/PatrickMassot/leanblueprint
License
Apache-2.0
Platforms
31 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out dist
Status
not broken, not insecure, free
Position
pkgs/development/python-modules/leanblueprint/default.nix:49
Maintainers
xhalo32

Version bumps 0

all open bumps
None open.

Pull requests 1

leanblueprint 0.0.10 -> 0.0.18 and tests
#418490 by xhalo32 · opened 16mo ago · checks pass

Issues 0

None open.