$NetBSD$

SHA1 (lhs2tex-1.12.tar.bz2) = 5a4546a7b461866fbd1b4fd5d84677951f8ac5c7
RMD160 (lhs2tex-1.12.tar.bz2) = 37b774da406e5c60720a23dbc971b3799c8b2faf
Size (lhs2tex-1.12.tar.bz2) = 582250 bytes
SHA1 (patch-ab) = 2133b38c3b031bee33c3de4622b395ae3c9d1ea4
SHA1 (patch-ac) = eee916688af74b6bc97f4cf72adff49c3cb12802