TIMESTAMP = 1578840454
SHA256 (auctex-12.2.tar.gz) = 59677958aa76c7a15cf62f098524f79b1cdb74d24bcdf36448ecbb5911d07893
SIZE (auctex-12.2.tar.gz) = 1511396