black==23.10.1 clingo==5.6.2 flake8==6.1.0 isort==5.12.0 mypy==1.6.1 types-six==1.16.21.9 vermin==1.5.2