TIMESTAMP = 1677087384
SHA256 (armadillo-12.0.1.tar.xz) = 230a5c75daad52dc47e1adce8f5a50f9aa4e4354e0f1bb18ea84efa2e70e20df
SIZE (armadillo-12.0.1.tar.xz) = 6802568
