Files fetched: 1 STORED: http://downloads.sourceforge.net/arma/armadillo-3.820.0.tar.gz 139cdded04fb2e90d7c4bb6852e4fb2e armadillo-3.820.0.tar.gz Size: 3210507 bytes -- Virtually Yours: distfiles.