fabian/prod: links for theorem10
root/pypi
theorem10-1.5.tar.gz
root/pypi
theorem10-1.5-py3-none-any.whl