DIST AutomaticTexPlugin_12.5.tar.gz 442431 SHA256 1cec0d1573f33ec1afb1fb4171d12713f4b7e55841d16b0895805333eb781449 SHA512 93e48b3d7eb9bdc0319bf03d0ddc59f49c2aab63170030b4234fa83aa3aeb739f1384c4a94e09e630b82d328d9cbfbbdfbf493e6decff915ad9cd4d5b2fc3a5b WHIRLPOOL 3924add4e702ba5f5f08c21d06dea32ddf4c1d3f922536e14761b36d36b5408af7f252afba1603d49b5aaa456afb54c5457a9f9110c9bb61259c1aa6c53c4b90