loongson/pypi: links for math-lib-sat