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.

python3Packages.leanclient

leanclient 0.12.0 · pkgs/development/python-modules/leanclient/default.nix
Sign in to watch

Health

Risk
risk 8 low
  • +8 0.12.0 is behind upstream 0.13.2
Version
0.12.0 0.13.2 available
Channels
master 0.12.0 · nixos-unstable 0.12.0 · nixos-26.05 0.10.0 master is ahead of nixos-26.05
Hydra
no finished build of nixpkgs/unstable/python3Packages.leanclient.x86_64-linux
Advisories
none open
Packaging
meta complete
Packagewhat each field means
Description
Python client for the Lean theorem prover LSP
Homepage
https://github.com/oOo0oOo/leanclient
License
MIT
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/leanclient/default.nix:41
Maintainers
remix7531

Version bumps 1

all open bumps
python3Packages.leanclient: 0.12.0 -> 0.13.0
#544816 by r-ryantm · opened 2mo ago

Pull requests 2

Leanclient 0.13.2
#561984 by remix7531 · opened 5w ago
python3Packages.leanclient: 0.12.0 -> 0.13.0
#544816 by r-ryantm · opened 2mo ago

Issues 0

None open.