TIMESTAMP = 1702972892
SHA256 (armadillo-12.6.7.tar.xz) = df32064bdf5c47153cf180b3c2012c8a194a07ee892654a6914b486fff2cfa69
SIZE (armadillo-12.6.7.tar.xz) = 6813060