TIMESTAMP = 1787587690
SHA256 (armadillo-15.4.2.tar.xz) = 58fa258d0e1f93074c9afa792027fc259b85cb974ccc0b932b061d4ada5bd83a
SIZE (armadillo-15.4.2.tar.xz) = 7106400
