python312Packages.python-sat 0.1.7.dev1 -> 0.1.7.dev15 https://github.com/pysathq/pysat/releases
attrpath: python312Packages.python-sat
isn't the default python version