03ad766d225f5e872eb3e5ce95524a08  hdf5-1.8.12.tar.bz2
28adeabb6b0179e62d82110450935487  hdf5_1.8.12-1.debian.tar.gz
918828a109a7c4ee0639a7515fcfb1e0  hdf5_1.8.12-4.debian.tar.gz