TIMESTAMP = 1767594143
SHA256 (ART-1.25.12.tar.xz) = 49c7e7bd295601c28bb7ef353bc21ee830e3f794c112875d63351ce1f30fc7ba
SIZE (ART-1.25.12.tar.xz) = 19681108