Files fetched: 1 STORED: http://downloads.sourceforge.net/arma/armadillo-3.920.2.tar.gz 3d0396513e2802c08152f50e18b4a1cd armadillo-3.920.2.tar.gz Size: 3237500 bytes -- Virtually Yours: distfiles.