TIMESTAMP = 1777252504
SHA256 (armadillo-15.2.6.tar.xz) = 97cb8ef708541f632e861d005a462dd0367240f81ff96f8e63ebbdd75c8ce55f
SIZE (armadillo-15.2.6.tar.xz) = 7100608
