./hop-2.4.1.tar.gz already exists, skipping download
Getting ftp://ftp-sop.inria.fr/indes/fp/Hop/hop-2.4.1.tar.gz to ./hop-2.4.1.tar.gz