Links for coq-8-18
coq-8-18-8.18.0.tar.gz