TIMESTAMP = 1644859002
SHA256 (armadillo-10.8.2.tar.xz) = 89fdd898bf6bff75f6efc3a301817e4ede752b9a80927fb07ee358b13e353922
SIZE (armadillo-10.8.2.tar.xz) = 6262832
