DIST auctex-1.47-pkg.tar.gz 710901 SHA256 bdd03c1ca44a151e5401ada90c2b9ce800aa756082640eb7952eb090f19fd50c SHA512 a5c06277decb8ce5f515ec09103702bff95eeba48b7d9df9ca6f8fbaab33bd9964d6296de5d5baae0f02e07fb434b48831ff9bc86f061f38eedb1b6c708f4e56 WHIRLPOOL b78642ec4774f455401e6f2d3ced6a968fa7f9b24ea8eb27a7d74605b893002749f01bc3dd5345097f1c21efec863dbbfe44b475020641e5192db8782d180745
DIST auctex-1.51-pkg.tar.gz 1002835 SHA256 38126fed57100dbaf67972fdd5601075aea18b5c5d6c28ca66921312cd3780d4 SHA512 f6a3edcf2992c03e6e39ecfdf534589341a5331df712a534c39b70976eaf6f353271987282d1217fc8bae2daf7104273f5eb0134f95a5bdf2d2e0fab31a5675f WHIRLPOOL a7f10050fee18887271162aca2a568e2071ab019b28e734b7d2d89fa88939d34a7677f5a2fea76637885164e8f4bf782c1785ea23fc8c0da5175e1cbdd443e24