27d2d8da8d58eedcdf16e63bad8c55a7  fix_random.diff
8e4e3f49ee9b2c5af01eb81a518ce7e7  htmldoc-1.8.28-source.tar.bz2