TIMESTAMP = 1789128290
SHA256 (armadillo-15.6.0.tar.xz) = e00a11b15ce4f3a75c634bfa58411ce1acb4317705b418a72348e81dc8f56464
SIZE (armadillo-15.6.0.tar.xz) = 7104616
