TIMESTAMP = 1484124781
SHA256 (auctex-11.90.tar.gz) = 3c232fd8e57780edea28cd3035afcc2b6ed965b5954e96b34a258cacfcaaf18f
SIZE (auctex-11.90.tar.gz) = 1437331