loongson/pypi: links for cursofiap-package-isabelpt