SHA256 (auctex-11.87.tar.gz) = 63d57229e585dbf727f5545337615b997488bfdf475274da0718c90b77bd5cf2
SIZE (auctex-11.87.tar.gz) = 1206073