libarmadillo 12 libarmadillo12 (>= 1:12.6.7+dfsg)