pytrainer: unpin python 3.10
[NixPkgs.git] / pkgs / tools / misc / leanify / 
tree6eb66923bcf6f1f4fc5451194d0ef3de39d38530
drwxr-xr-x   ..
-rw-r--r-- 1514 default.nix