TIMESTAMP = 1588795082
SHA256 (armadillo-9.870.2.tar.xz) = 541b5fee4c1c412d0a508791611583fcd4e8ff67c0da0536833e694e700cf756
SIZE (armadillo-9.870.2.tar.xz) = 4720220