TIMESTAMP = 1738232952
SHA256 (auctex-13.3.tar.gz) = 4f7e57e1241a499f34861d59f3c4652fb47e3896c7a2768edbbbec1e54c91252
SIZE (auctex-13.3.tar.gz) = 1695608