TIMESTAMP = 1694983095
SHA256 (armadillo-12.6.4.tar.xz) = eb7f243ffc32f18324bc7fa978d0358637e7357ca7836bec55b4eb56e9749380
SIZE (armadillo-12.6.4.tar.xz) = 6808680
