../ armadillo-3.920.2.tar.gz 14-Oct-2013 08:20 3237500 armadillo-3.920.2.tar.gz.desc 17-Nov-2013 12:59 154