/armadillo-10.7.4.tar.xz
/armadillo-10.8.2.tar.xz
/armadillo-12.6.6.tar.xz