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

xhalo32

Packages and NixOS modules whose meta.maintainers or meta.teams name xhalo32, at nixpkgs 89a0beb079b4. Change the list in nixpkgs, not here.

Packages 6

lean4 4.34.1 behind in nixos-26.05 risk 8 4.35.0 available

2 open PRs · 1 issue

python3Packages.plastexshowmore 0.0.2 risk 8 0.1.0 available

1 open PR

leangz 0.1.19 risk 8 0.1.21 available

leanblueprint 0.0.20 risk 0

1 open PR

python3Packages.plasTeX 3.1 risk 0

1 open PR

python3Packages.plastexdepgraph 0.0.5 risk 0

NixOS modules 0

None.