MD5 (lhs2tex-1.15.tar.gz) = 13c886a829e71e895fa172c617f31bd0
SHA256 (lhs2tex-1.15.tar.gz) = 77f25c1f22823587ceca6eead133a403540319a0ae3bf03a369b3e8c86baf124
SIZE (lhs2tex-1.15.tar.gz) = 580361