./Agda-2.3.2.2.tar.gz already exists, skipping download
Getting http://hackage.haskell.org/packages/archive/Agda/2.3.2.2/Agda-2.3.2.2.tar.gz to ./Agda-2.3.2.2.tar.gz