nixpkgs
Nix Packages collection & NixOS github.com/NixOS/nixpkgs
Star 0
Fork 0
Watch

Version history of pkgs/development/python-modules/leanclient/default.nix

July 2026

nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Nick Cao
python3Packages.leanclient: 0.11.0 -> 0.12.0 (#541699)
committed
R. Ryantm
python3Packages.leanclient: 0.11.0 -> 0.12.0
committed

June 2026

nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Nick Cao
python3Packages.leanclient: 0.10.0 -> 0.11.0 (#532866)
committed
R. Ryantm
python3Packages.leanclient: 0.10.0 -> 0.11.0
committed

May 2026

nixpkgs-ci[bot]
Merge 0840f47235bf644aff1416cca9b6323862def8a1 into haskell-updates
committed
nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Fabian Affolter
python3Packages.leanclient: 0.9.4 -> 0.10.0 (#516710)
committed
R. Ryantm
python3Packages.leanclient: 0.9.4 -> 0.10.0
committed

April 2026

nixpkgs-ci[bot]
Merge 025c852a89be820b3117f604c8ace42e9b4caa08 into haskell-updates
committed
nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Jörg Thalheim
lean-lsp-mcp: init at 0.26.1; python3Packages.leanclient: init at 0.9.4 (#510225)
committed
remix7531
python3Packages.leanclient: init at 0.9.4
committed