Files fetched: 1 STORED: ftp://ftp.hdfgroup.org/HDF5/current/src/hdf5-1.8.12.tar.bz2 75829af785e54332cdef6ad5a4a96607 hdf5-1.8.12.tar.bz2 Size: 5994923 bytes -- Virtually Yours: distfiles.