../ armadillo_8.400.0+dfsg-2.debian.tar.xz 21-Feb-2018 11:18 6484 armadillo_8.400.0+dfsg-2.dsc 21-Feb-2018 11:18 2191 armadillo_8.400.0+dfsg.orig.tar.xz 20-Feb-2018 23:50 514320 libarmadillo-dev_8.400.0+dfsg-2_i386.deb 21-Feb-2018 11:19 339988 libarmadillo8_8.400.0+dfsg-2_i386.deb 21-Feb-2018 11:19 83996