root/public: links for tptpr
root/pypi
TPTPr-0.1.tar.gz