TIMESTAMP = 1633707138
SHA256 (armadillo-10.7.1.tar.xz) = c90e399ac9592cbb57c77544601dd7fce675bb2ea67b4d24fcfbf0be975eeb88
SIZE (armadillo-10.7.1.tar.xz) = 6258792
