TIMESTAMP = 1541932959
SHA256 (armadillo-9.200.4.tar.xz) = 10d1cc38503624bf1ad8c55c0d53b4feb80f04fcb3f5c3e6a69ba95d00f17966
SIZE (armadillo-9.200.4.tar.xz) = 4786232