jp6/cu126: links for coq
root/pypi
coq-0.1.7.tar.gz
root/pypi
coq-0.1.7-py3-none-any.whl