loongson/pypi: links for coq
loongson/mirror
coq-0.1.7.tar.gz
loongson/mirror
coq-0.1.7-py3-none-any.whl