TIMESTAMP = 1692602259
SHA256 (auctex-13.2.tar.gz) = 1e7e402abcf846694eba7719925bf095c23ef33a5e6602201c74b6ca60944035
SIZE (auctex-13.2.tar.gz) = 1667548