./xgap-4.23.tar.gz already exists, skipping download
Getting http://www-groups.mcs.st-and.ac.uk/~neunhoef/Computer/Software/Gap/xgap4/xgap-4.23.tar.gz to ./xgap-4.23.tar.gz