MD5 (lhs2tex-1.14.tar.gz) = 80f9cf57e9f8bbad0058eaad93be6f39
SHA256 (lhs2tex-1.14.tar.gz) = 1667acce394a0d4852f8ad07fa85397e43873fd98a219db794e4773883288687
SIZE (lhs2tex-1.14.tar.gz) = 581254