TIMESTAMP = 1687119280
SHA256 (armadillo-12.4.1.tar.xz) = 8127635d27dfb996fab495de6ff9ce84bd9b5e04de3c0037fc2ac6de96dcf397
SIZE (armadillo-12.4.1.tar.xz) = 6803716
