loongson/pypi: links for amp-reasoning