TIMESTAMP = 1723201031
SHA256 (armadillo-14.0.2.tar.xz) = 248e2535fc092add6cb7dea94fc86ae1c463bda39e46fd82d2a7165c1c197dff
SIZE (armadillo-14.0.2.tar.xz) = 7193528
