MD5 (lhs2tex-1.12.tar.bz2) = 1bc982e96f19201aaf1c39c1d4b5e358
SHA256 (lhs2tex-1.12.tar.bz2) = af3440b8d5dda73ad43660fa496f5e1c04a3d3105961847963d0105c69a03447
SIZE (lhs2tex-1.12.tar.bz2) = 582250