DIST lhs2tex-1.25.tar.gz 891949 BLAKE2B 9ae24e9eb310431d24b8ca88e14f968833384c95b19beae421a8e0f6dac040ec2ee6445f68b2fcf7948c0a73fc4f507babea2b118e262f595c7f6ab33099c631 SHA512 648355109e87b02badcefc84b0db02e0389db13ab0b7d09f730114a5e74dbd93bacfaf2a87fd549b7afd0e79a26f7684490c16ad100af720c100a0f875d926b1