./coq-8.4pl2.tar.gz already exists, skipping download
Getting http://coq.inria.fr/V8.4pl2/files/coq-8.4pl2.tar.gz to ./coq-8.4pl2.tar.gz