hdf5/sources

3433c1be767d2b8e5b0771a3209b4fcc  hdf5-1.8.11.tar.bz2
fcb958d4541807c8498fac2d76e5a1cd  hdf5_1.8.10-patch1-1.debian.tar.gz
Update to 1.8.11 2013-05-16 15:09:58 +00:00			`3433c1be767d2b8e5b0771a3209b4fcc hdf5-1.8.11.tar.bz2`
Add man pages from debian (bug #971551) 2013-06-10 17:28:00 +00:00			`fcb958d4541807c8498fac2d76e5a1cd hdf5_1.8.10-patch1-1.debian.tar.gz`