TIMESTAMP = 1782966110
SHA256 (armadillo-15.4.0.tar.xz) = f781e9d935db7e8b9a64c58b6a817354d38a1769e179b477364f5e6414953f6c
SIZE (armadillo-15.4.0.tar.xz) = 7103300
