TIMESTAMP = 1490641245
SHA256 (armadillo-7.800.2.tar.xz) = efd70600ab6f30449d90a3e58ff7499937985209bb0a03ce4e322474dbf11fe3
SIZE (armadillo-7.800.2.tar.xz) = 4001664