python312Packages.online-judge-tools 11.5.1 -> 12.0.0 https://github.com/online-judge-tools/oj/releases
attrpath: python312Packages.online-judge-tools
isn't the default python version