loongson/pypi: links for hypothesis-typing