c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-09 10:33:27 -05:00
Code Issues Projects Releases Packages Wiki Activity
nixpkgs/pkgs/development/python-modules/leanclient
History
R. Ryantm 95ef861737 python3Packages.leanclient: 0.10.0 -> 0.11.0
2026-06-18 03:10:09 +00:00
..
default.nix python3Packages.leanclient: 0.10.0 -> 0.11.0 2026-06-18 03:10:09 +00:00