TIMESTAMP = 1464054577
SHA256 (armadillo-6.700.7.tar.gz) = 2a3388ee99d345b3e31c83ea3b0850292ac1a2154ffb785c1f03af9d3b6b7175
SIZE (armadillo-6.700.7.tar.gz) = 5470594
