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.

leangz

leangz 0.1.19 · pkgs/by-name/le/leangz/package.nix
Sign in to watch

Health

Risk
risk 8 low
  • +8 0.1.19 is behind upstream 0.1.21
Version
0.1.19 0.1.21 available
Channels
master 0.1.19 · nixos-unstable 0.1.19 · nixos-26.05 absent no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
meta complete
Packagewhat each field means
Description
Lean 4 .olean file (de)compressor
Homepage
https://github.com/digama0/leangz
License
Apache-2.0
Platforms
38 platforms: Linux, Darwin · not on pattern
Main program
leantar
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/le/leangz/package.nix:27
Maintainers
xhalo32

Version bumps 0

all open bumps
None open. Upstream has 0.1.21: how to update a package.

Pull requests 0

None open.

Issues 0

None open.