Files fetched: 1 STORED: http://downloads.sourceforge.net/arma/armadillo-3.920.3.tar.gz 47c1ae95ff8085822f03b7ddf851ba06 armadillo-3.920.3.tar.gz Size: 3237455 bytes -- Virtually Yours: distfiles.