TIMESTAMP = 1783784358
SHA256 (armadillo-15.4.1.tar.xz) = 12781baf33c71b622c2f040fd27143479d120ec89d40f889621f0b1bb6232e27
SIZE (armadillo-15.4.1.tar.xz) = 7103020