TIMESTAMP = 1712330569
SHA256 (armadillo-12.8.2.tar.xz) = 03b62f8c09e4f5d74643b478520741b8e27b55e7e4525978fcae2f5d791ac3bf
SIZE (armadillo-12.8.2.tar.xz) = 6996368
