TIMESTAMP = 1672247830
SHA256 (armadillo-11.4.3.tar.xz) = 87603263664988af41da2ca4f36205e36ea47a9281fa6cfd463115f3797a1da2
SIZE (armadillo-11.4.3.tar.xz) = 6802464
