TIMESTAMP = 1603826748
SHA256 (armadillo-10.1.1.tar.xz) = 95e021dba80830e4d55f69a826e4d65c7411a4e400788a387563da16aef51c8e
SIZE (armadillo-10.1.1.tar.xz) = 6040456