# We still need this because RTD is special
setuptools==40.8.0