libarmadillo 9 libarmadillo9 (>= 1:9.800.4+dfsg)