TIMESTAMP = 1757120516
SHA256 (armadillo-15.0.1.tar.xz) = f520a0d50bbafccd7b9e793321cd7ffed374695c2e38bbdfd428841745e04c37
SIZE (armadillo-15.0.1.tar.xz) = 7174236
