loongson/pypi: links for arunp77-mathlib