27d2d8da8d58eedcdf16e63bad8c55a7  fix_random.diff
c8ea9f9e4bbe49bd42a597338dc2b111  htmldoc-1.8.30-source.tar.gz