loongson/pypi: links for lean4