TIMESTAMP = 1717244857
SHA256 (armadillo-12.8.4.tar.xz) = 558fe526b990a1663678eff3af6ec93f79ee128c81a4c8aef27ad328fae61138
SIZE (armadillo-12.8.4.tar.xz) = 6995748