3433c1be767d2b8e5b0771a3209b4fcc hdf5-1.8.11.tar.bz2
fcb958d4541807c8498fac2d76e5a1cd hdf5_1.8.10-patch1-1.debian.tar.gz