TIMESTAMP = 1748495697
SHA256 (armadillo-14.4.3.tar.xz) = c3aadd59bdb0ea4339b056f29972f92ee19fdc52f68eb78d32d2e4caf4d80c3a
SIZE (armadillo-14.4.3.tar.xz) = 6815564
