loongson/pypi: links for axiomatic-proofkit

loongson/mirror axiomatic_proofkit-0.1.4.tar.gz
loongson/mirror axiomatic_proofkit-0.1.4-py3-none-any.whl
loongson/mirror axiomatic_proofkit-0.1.3.tar.gz
loongson/mirror axiomatic_proofkit-0.1.3-py3-none-any.whl
loongson/mirror axiomatic_proofkit-0.1.1.tar.gz
loongson/mirror axiomatic_proofkit-0.1.1-py3-none-any.whl
loongson/mirror axiomatic_proofkit-0.1.0.tar.gz
loongson/mirror axiomatic_proofkit-0.1.0-py3-none-any.whl