python311Packages.model-checker 0 -> 1
attrpath: python311Packages.model-checker
isn't the default python version