MD5 (xdvi/xdvi-17.tar.gz) = 71c512f827c7e2ce534b52005720ce6d
MD5 (xdvi/README.miyu-patch) = faa5cf9b2b844923bf29c0e1174da873
MD5 (xdvi/xdvi-17miyu.patch-beta6.gz) = e7e8a5aae3d0377efd61e027ab38f5b8
MD5 (xdvi/xdvi-pl17+markpage+toc+printdvi.patch.gz) = 848ff6975d54730f8c4dddd53427d3d3
