Links for coq
coq-0.1.7-py3-none-any.whl