../ armadillo_3.2.3+dfsg-1.diff.gz 29-Jun-2012 04:32 6444 armadillo_3.2.3+dfsg-1.dsc 29-Jun-2012 04:32 2142 armadillo_3.2.3+dfsg.orig.tar.gz 29-Jun-2012 04:32 313945 libarmadillo-dev_3.2.3+dfsg-1_armhf.deb 09-Jul-2012 18:55 292324 libarmadillo3_3.2.3+dfsg-1_armhf.deb 09-Jul-2012 18:55 17252