Files fetched: 1 STORED: ftp://ftp.hdfgroup.org/HDF/HDF_Current/src/HDF4.2r3.tar.gz 767382a31470e795f4c4217e33a689e8 HDF4.2r3.tar.gz Size: 3898572 bytes ALREADY GOT: http://www.mif.pg.gda.pl/homepages/ankry/man-PLD/hdf-man-pages.tar.bz2 607df78cacc131b37dfdb443e61e789a hdf-man-pages.tar.bz2 -- Virtually Yours: distfiles.