TIMESTAMP = 1654953516
SHA256 (armadillo-11.2.0.tar.xz) = df5ca215901c68c63467c0bfee14f08e34d875a47ab0f095082ab32ddff4f243
SIZE (armadillo-11.2.0.tar.xz) = 6850412
